blob: 5a039898538e44c441921cdfbb6e77040cb9038f (
plain) (
tree)
|
|
%%---------------------------------------------------------------------
%% A test for which the analysis went into an infinite loop due to
%% specialization using structured type instead of the opaque one.
%%---------------------------------------------------------------------
-module(opaque_bug1).
-export([test/1]).
-record(c, {a::atom()}).
-opaque erl_type() :: 'any' | #c{}.
test(#c{a=foo} = T) -> local(T).
local(#c{a=foo}) -> any.
|