opaque « results « opaque_SUITE_data « test « dialyzer « lib - otp.git - Mirror of Erlang/OTP repository.

about summary refs log tree commit diff stats

path: root/lib/dialyzer/test/opaque_SUITE_data/results/opaque

blob: ca76f57b54dd0565af451d62ac468f261354429b (plain) (blame)

1
2

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