diff options
Diffstat (limited to 'lib/dialyzer/test/map_SUITE_data/results/contract_violation')
| -rw-r--r-- | lib/dialyzer/test/map_SUITE_data/results/contract_violation | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/lib/dialyzer/test/map_SUITE_data/results/contract_violation b/lib/dialyzer/test/map_SUITE_data/results/contract_violation index d0dd42a900..782e154100 100644 --- a/lib/dialyzer/test/map_SUITE_data/results/contract_violation +++ b/lib/dialyzer/test/map_SUITE_data/results/contract_violation @@ -1,3 +1,6 @@ contract_violation.erl:12:2: The pattern #{I:=Loc} can never match the type #{} -contract_violation.erl:16:2: Invalid type specification for function contract_violation:beam_disasm_lines/2. The success typing is ('none' | <<_:32,_:_*8>>,_) -> #{pos_integer()=>{'location',_,_}} +contract_violation.erl:16:2: Invalid type specification for function contract_violation:beam_disasm_lines/2. + The success typing is contract_violation:beam_disasm_lines('none' | <<_:32,_:_*8>>,_) -> #{pos_integer()=>{'location',_,_}} + But the spec is contract_violation:beam_disasm_lines(binary() | 'none',module()) -> lines() + The return types do not overlap |