aboutsummaryrefslogblamecommitdiffstats
path: root/lib/dialyzer/test/opaque_SUITE_data/results/opaque
blob: 864e0d853c45daeb47c863cd31693af5ece99473 (plain) (tree)
1
2
3
 
                                                                 
                                                                                                                               
opaque_bug3.erl:19: The pattern 'a' can never match the type #c{}
opaque_bug4.erl:20: The attempt to match a term of type opaque_adt:abc() against the pattern 'a' breaks the opacity of the term