lib/dialyzer/test/small_SUITE_data/results/types_arity


1
2
3
4
5


types_arity.erl:16:2: Invalid type specification for function types_arity:test2/0.
 The success typing is types_arity:test2() -> {'node','a','nil','nil'}
 But the spec is types_arity:test2() -> tree()
 The return types do not overlap