1 2beam_asm.erl:32:2: The pattern {'error', Error} can never match the type <<_:64,_:_*8>> 3beam_bool.erl:193:2: The pattern {[], _} can never match the type {[{_,_,_,_},...],[any()]} 4beam_bool.erl:510:1: The pattern [{'set', [Dst], _, _}, {'%live', _}] can never match the type [{_,_,_,_}] 5beam_disasm.erl:537:1: The variable X can never match since previous clauses completely covered the type 0 | 1 | 2 | 3 | 4 | 5 | 6 | 7 6beam_type.erl:284:1: The pattern <'pi', 0> can never match the type <_,1 | 2> 7beam_validator.erl:396:1: Matching of pattern {'vst', 'none', _} tagged with a record name violates the declared type of #vst{current::#st{ct::[]}} 8beam_validator.erl:690:1: The pattern <'term', OldT> can never match the type <{'tuple',[any(),...]},_> 9beam_validator.erl:693:13: Guard test or('false','false') can never succeed 10beam_validator.erl:700:13: Guard test or('false','false') can never succeed 11beam_validator.erl:702:1: The pattern <'number', OldT = {Type, _}> can never match the type <{'tuple',[any(),...]},_> 12beam_validator.erl:705:1: The pattern <'bool', {'atom', A}> can never match the type <{'tuple',[any(),...]},_> 13beam_validator.erl:707:1: The pattern <{'atom', A}, 'bool'> can never match the type <{'tuple',[any(),...]},_> 14beam_validator.erl:713:8: Guard test is_integer(Sz::[any(),...]) can never succeed 15beam_validator.erl:727:1: Function upgrade_bool/1 will never be called 16cerl_inline.erl:190:9: The pattern 'true' can never match the type 'false' 17cerl_inline.erl:219:9: The pattern 'true' can never match the type 'false' 18cerl_inline.erl:230:9: The pattern 'true' can never match the type 'false' 19cerl_inline.erl:2333:9: The pattern 'true' can never match the type 'false' 20cerl_inline.erl:2355:9: The pattern 'true' can never match the type 'false' 21cerl_inline.erl:238:9: The pattern 'true' can never match the type 'false' 22cerl_inline.erl:2436:1: Function filename/1 will never be called 23cerl_inline.erl:244:1: Function counter_stats/0 will never be called 24cerl_inline.erl:2700:3: The pattern 'true' can never match the type 'false' 25cerl_inline.erl:2730:1: The pattern <{F, L, D}, Vs> can never match the type <[1..255,...],[any()]> 26cerl_inline.erl:2738:1: The pattern <{F, L, D}, Vs> can never match the type <[1..255,...],[any()]> 27cerl_inline.erl:2750:1: The pattern <{[], L, D}, Vs> can never match the type <[1..255,...],[any()]> 28cerl_inline.erl:2752:1: The pattern <{[], _L, D}, Vs> can never match the type <[1..255,...],[any()]> 29cerl_inline.erl:2754:1: The pattern <{F, L, D}, Vs> can never match the type <[1..255,...],[any()]> 30cerl_inline.erl:2756:1: The pattern <{F, _L, D}, Vs> can never match the type <[1..255,...],[any()]> 31compile.erl:792:2: The pattern {'error', Es} can never match the type {'ok',<<_:64,_:_*8>>} 32core_lint.erl:473:1: The pattern <{'c_atom', _, 'all'}, 'binary', _Def, St> can never match the type <_,#c_nil{} | {'c_atom' | 'c_char' | 'c_float' | 'c_int' | 'c_string' | 'c_tuple',_,_} | #c_cons{hd::#c_nil{} | {'c_atom' | 'c_char' | 'c_float' | 'c_int' | 'c_string' | 'c_tuple',_,_} | #c_cons{hd::{_,_} | {_,_,_} | {_,_,_,_},tl::{_,_} | {_,_,_} | {_,_,_,_}},tl::#c_nil{} | {'c_atom' | 'c_char' | 'c_float' | 'c_int' | 'c_string' | 'c_tuple',_,_} | #c_cons{hd::{_,_} | {_,_,_} | {_,_,_,_},tl::{_,_} | {_,_,_} | {_,_,_,_}}},[any()],_> 33core_lint.erl:505:1: The pattern <_Req, 'unknown', St> can never match the type <non_neg_integer(),non_neg_integer(),_> 34sys_pre_expand.erl:625:12: Call to missing or unexported function erlang:hash/2 35v3_codegen.erl:1569:57: The call v3_codegen:load_reg_1(V::any(),I::0,Rs::any(),pos_integer()) will never return since it differs in the 4th argument from the success typing arguments: (any(),0,maybe_improper_list(),0) 36v3_codegen.erl:1571:56: The call v3_codegen:load_reg_1(V::any(),I::0,[],pos_integer()) will never return since it differs in the 4th argument from the success typing arguments: (any(),0,maybe_improper_list(),0) 37v3_core.erl:646:1: Matching of pattern {'iprimop', _, _, _} tagged with a record name violates the declared type of #c_nil{anno::[any(),...]} | {'c_atom' | 'c_char' | 'c_float' | 'c_int' | 'c_string' | 'c_tuple' | 'c_var' | 'ibinary' | 'icatch' | 'ireceive1',[any(),...] | {_,_,_,_},_} | #c_cons{anno::[any(),...]} | #c_fname{anno::[any(),...]} | #iletrec{anno::{_,_,_,_},defs::[any(),...],body::[any(),...]} | #icase{anno::{_,_,_,_},args::[any()],clauses::[any()],fc::{_,_,_,_,_,_}} | #ireceive2{anno::{_,_,_,_},clauses::[any()],action::[any()]} | #ifun{anno::{_,_,_,_},id::[any(),...],vars::[any()],clauses::[any(),...],fc::{_,_,_,_,_,_}} | #imatch{anno::{_,_,_,_},guard::[],fc::{_,_,_,_,_,_}} | #itry{anno::{_,_,_,_},args::[any()],vars::[any(),...],body::[any(),...],evars::[any(),...],handler::[any(),...]} 38v3_kernel.erl:1381:7: Call to missing or unexported function erlang:hash/2 39