diff options
Diffstat (limited to 'lib/dialyzer/test/opaque_SUITE_data/results/opaque')
-rw-r--r-- | lib/dialyzer/test/opaque_SUITE_data/results/opaque | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/lib/dialyzer/test/opaque_SUITE_data/results/opaque b/lib/dialyzer/test/opaque_SUITE_data/results/opaque index ca76f57b54..5747f9061f 100644 --- a/lib/dialyzer/test/opaque_SUITE_data/results/opaque +++ b/lib/dialyzer/test/opaque_SUITE_data/results/opaque @@ -1,2 +1,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 opaqueness of the term |