diff options
Diffstat (limited to 'lib/dialyzer/test/map_SUITE_data/results/guard_update')
| -rw-r--r-- | lib/dialyzer/test/map_SUITE_data/results/guard_update | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/lib/dialyzer/test/map_SUITE_data/results/guard_update b/lib/dialyzer/test/map_SUITE_data/results/guard_update new file mode 100644 index 0000000000..f6200ae2af --- /dev/null +++ b/lib/dialyzer/test/map_SUITE_data/results/guard_update @@ -0,0 +1,8 @@ + +guard_update.erl:12: Function t2/0 has no local return +guard_update.erl:15: Clause guard cannot succeed. The variable M was matched against the type #{'a':=2} +guard_update.erl:15: Function f2/1 has no local return +guard_update.erl:5: Function t/0 has no local return +guard_update.erl:6: The call guard_update:f(#{'a':=2}) will never return since it differs in the 1st argument from the success typing arguments: (#{'b':=_, ...}) +guard_update.erl:8: Clause guard cannot succeed. The variable M was matched against the type #{'a':=2} +guard_update.erl:8: Function f/1 has no local return |