diff options
Diffstat (limited to 'lib/dialyzer/test/small_SUITE_data/results/contract5')
-rw-r--r-- | lib/dialyzer/test/small_SUITE_data/results/contract5 | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/lib/dialyzer/test/small_SUITE_data/results/contract5 b/lib/dialyzer/test/small_SUITE_data/results/contract5 index 10ea8ca362..9ffccbc19b 100644 --- a/lib/dialyzer/test/small_SUITE_data/results/contract5 +++ b/lib/dialyzer/test/small_SUITE_data/results/contract5 @@ -1,2 +1,5 @@ -contract5.erl:13:2: Invalid type specification for function contract5:t/0. The success typing is () -> #bar{baz::'not_a_boolean'} +contract5.erl:13:2: Invalid type specification for function contract5:t/0. + The success typing is contract5:t() -> #bar{baz::'not_a_boolean'} + But the spec is contract5:t() -> #bar{baz::boolean()} + The return types do not overlap |