
zero_tuple.erl:4:1: Function t1/0 has no local return
zero_tuple.erl:5:3: The pattern {} can never match the type 'a'
zero_tuple.erl:8:1: Function t2/0 has no local return
zero_tuple.erl:9:3: The pattern 'b' can never match the type 'a'
