opaque_bug5.erl « opaque « src « 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/src/opaque/opaque_bug5.erl

blob: 28d739de8ee4725ecc8c93d363c58035e8b99efb (plain) (blame)

%% Second arg of is_record call wasn't checked properly

-module(opaque_bug5).

-export([b/0]).

b() ->
    is_record(id({a}), id(a)).

id(I) -> I.