summaryrefslogtreecommitdiff
path: root/lib/dialyzer/test/opaque_SUITE_data/results/multiple_wrong_opaques
blob: 0130be07b7215e3fdf3fc39dd5408b8307cffcac (plain)
1
2
3
4
5

multiple_wrong_opaques.erl:5:2: Invalid type specification for function multiple_wrong_opaques:weird/1.
 The success typing is multiple_wrong_opaques:weird('gazonk') -> 42
 But the spec is multiple_wrong_opaques:weird(dict:dict() | gb_trees:tree()) -> 42
 They do not overlap in the 1st argument