blob: 4cba53fdce49ec0f2eaacbb3dbc648e80d34735b (
plain) (
blame)
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
|
-module(suppression2).
-export([a/1, b/1, c/0]).
-dialyzer({nowarn_function, [a/1, b/1, c/0]}).
-dialyzer([no_undefined_callbacks]).
-behaviour(not_a_behaviour).
-spec a(_) -> integer().
a(_) ->
A = fun(_) ->
B = fun(_) ->
x = 7
end,
B = 1
end,
A.
-spec b(_) -> integer().
b(_) ->
A = fun(_) ->
1
end,
A = 2.
-record(r, {a = a :: integer()}).
c() ->
#r{}.
|
