lib/dialyzer/test/opaque_SUITE_data/src/para_bug/same_type.erl


1
2
3
4
5
6
7
8
9
10
11
12
13

-module(same_type).

-export([t/2]).

-export_type([st/1]).

%% When unopaqued all specializations of st/1 are equal.
-opaque st(_A) :: {st, tuple()}.

-spec t(_, st(_)) -> _.

t(K, V) ->
    {K, V}.