
contract5.erl:13:2: Invalid type specification for function contract5:t/0.
 The success typing is contract5:t() -> #bar{baz::'not_a_boolean'}
 But the spec is contract5:t() -> #bar{baz::boolean()}
 The return types do not overlap
