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


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

-module(same).

-export([baz/1]).

-record(bar, {
          a :: same_type:st(integer()),
          b :: same_type:st(atom())
         }).

baz(Bar) ->
    _ = wrap_find(0, Bar#bar.a),
    wrap_find(0, Bar#bar.b).

wrap_find(K, D) ->
  same_type:t(K, D).