diff options
Diffstat (limited to 'lib/dialyzer/test/small_SUITE_data/results/record_update')
| -rw-r--r-- | lib/dialyzer/test/small_SUITE_data/results/record_update | 5 |
1 files changed, 4 insertions, 1 deletions
diff --git a/lib/dialyzer/test/small_SUITE_data/results/record_update b/lib/dialyzer/test/small_SUITE_data/results/record_update index b61d2e66b3..d2747d0440 100644 --- a/lib/dialyzer/test/small_SUITE_data/results/record_update +++ b/lib/dialyzer/test/small_SUITE_data/results/record_update @@ -1,2 +1,5 @@ -record_update.erl:7:2: Invalid type specification for function record_update:quux/2. The success typing is (#foo{bar::atom()},atom()) -> #foo{bar::atom()} +record_update.erl:7:2: Invalid type specification for function record_update:quux/2. + The success typing is record_update:quux(#foo{bar::atom()},atom()) -> #foo{bar::atom()} + But the spec is record_update:quux(#foo{},string()) -> #foo{} + They do not overlap in the 2nd argument |