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