aboutsummaryrefslogblamecommitdiffstats
path: root/lib/dialyzer/test/map_SUITE_data/results/guard_update
blob: f6de2158fc1c723ae96a70950071a4fe8f7ddd99 (plain) (tree)
1
2
3
4
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: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