
blame_contract_range.erl:11:1: Function foo/0 has no local return
blame_contract_range.erl:14:2: The contract blame_contract_range:bar(atom()) -> 'a' cannot be right because the inferred return for bar('b') on position 12:3 is 'b'
blame_contract_range.erl:15:1: The pattern 'a' can never match the type 'b'
