diff options
| author | Hans Bolinder <[email protected]> | 2019-03-22 11:58:58 +0100 |
|---|---|---|
| committer | Hans Bolinder <[email protected]> | 2019-04-29 12:00:31 +0200 |
| commit | 19e8e534cc26d890378265907ff0a56c101f2625 (patch) | |
| tree | 38d9db9e23d5bcbac5a502aef1c0fc806d355fa9 /lib/dialyzer/test/map_SUITE_data/results/guard_update | |
| parent | 87e748eda909272ab4c2178fdfe83bb74eef898b (diff) | |
| download | otp-19e8e534cc26d890378265907ff0a56c101f2625.tar.gz otp-19e8e534cc26d890378265907ff0a56c101f2625.tar.bz2 otp-19e8e534cc26d890378265907ff0a56c101f2625.zip | |
dialyzer: Fix dialyzer_dataflow:format_args_1()
Diffstat (limited to 'lib/dialyzer/test/map_SUITE_data/results/guard_update')
| -rw-r--r-- | lib/dialyzer/test/map_SUITE_data/results/guard_update | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/lib/dialyzer/test/map_SUITE_data/results/guard_update b/lib/dialyzer/test/map_SUITE_data/results/guard_update index 98df23907f..f6de2158fc 100644 --- a/lib/dialyzer/test/map_SUITE_data/results/guard_update +++ b/lib/dialyzer/test/map_SUITE_data/results/guard_update @@ -1,5 +1,5 @@ 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: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 |