
higher_order_discrepancy_2.erl:11:7: The call higher_order_discrepancy_2:f('foo') will never return since it differs in the 1st argument from the success typing arguments: ('bar')
higher_order_discrepancy_2.erl:11:7: The call higher_order_discrepancy_2:g('foo') will never return since it differs in the 1st argument from the success typing arguments: ('baz')
higher_order_discrepancy_2.erl:13:1: Function f/1 has no local return
higher_order_discrepancy_2.erl:13:1: The pattern 'bar' can never match the type 'foo'
higher_order_discrepancy_2.erl:14:1: Function g/1 has no local return
higher_order_discrepancy_2.erl:14:1: The pattern 'baz' can never match the type 'foo'
higher_order_discrepancy_2.erl:5:1: Function test/1 has no local return
