lib/dialyzer/test/opaque_SUITE_data/src/zoltan_kis4.erl


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

-module(zoltan_kis4).

-export([f/0, gen/0]).

-export_type([id/0]).

-opaque id() :: string().

-spec f() -> id().
f() -> "Dummy" = gen().  %% Matching issue

-spec gen() -> id().
gen() -> "Dummy".