aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/opaque_SUITE_data/results/union
blob: 98829b424a280f86466c535a752693199ed0f7d4 (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 opaqueness of the term
union_use.erl:16: The type test is_tuple(union_adt:u()) breaks the opaqueness of the term union_adt:u()
union_use.erl:7: Guard test is_atom(A::union_adt:u()) breaks the opaqueness of its argument
union_use.erl:8: Guard test is_tuple(T::union_adt:u()) breaks the opaqueness of its argument