path: root/lib/dialyzer/test/small_SUITE_data/results/contracts_with_subtypes2

contracts_with_subtypes2.erl:18: Function t/0 has no local return
contracts_with_subtypes2.erl:19: The call contracts_with_subtypes2:t({'a', {'b', {'c', {'d', {'e', {'g', 3}}}}}}) breaks the contract (Arg) -> 'ok' when Arg :: {'a',A}, A :: {'b',B}, B :: {'c',C}, C :: {'d',D}, D :: {'e',E}, E :: {'f',_}