aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/small_SUITE_data/results/contract5
blob: 116c4f4d4d9f18110ab29ab610cba69d07163132 (plain) (blame)
1
2
contract5.erl:13: Invalid type specification for function contract5:t/0. The success typing is () -> #bar{baz::'not_a_boolean'}