lib/dialyzer/test/small_SUITE_data/src/suppression1.erl


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

-module(suppression1).

-export([a/1, b/1, c/0]).

-dialyzer({nowarn_function, a/1}).

-spec a(_) -> integer().

a(_) ->
    A = fun(_) ->
                B = fun(_) ->
                            x = 7
                    end,
                B = 1
        end,
    A.

-spec b(_) -> integer().

-dialyzer({nowarn_function, b/1}).

b(_) ->
    A = fun(_) ->
                1
        end,
    A = 2.

-record(r, {a = a :: integer()}).

-dialyzer({nowarn_function, c/0}).

c() ->
    #r{}.