aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/opaque_SUITE_data/results/union
blob: 8763088bf0645640befefd784eacefbe2f4e36e5 (plain) (blame)
1
2
3
4
5
union_use.erl:12: The attempt to match a term of type union_adt:u() against the pattern 'aaa' breaks the opacity of the term
union_use.erl:16: The type test is_tuple(union_adt:u()) breaks the opacity of the term union_adt:u()
union_use.erl:7: Guard test is_atom(A::union_adt:u()) breaks the opacity of its argument
union_use.erl:8: Guard test is_tuple(T::union_adt:u()) breaks the opacity of its argument