aboutsummaryrefslogtreecommitdiffstats
path: root/lib/dialyzer/test/opaque_SUITE_data/src/para_bug/same_type.erl
blob: 855a5d30bed519510f7bfaa70aa98f1562be3f6c (plain) (blame)
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}.