aboutsummaryrefslogblamecommitdiffstats
path: root/lib/dialyzer/test/map_SUITE_data/src/contract.erl
blob: 2b31be0d587ec14c34e0dca2433281d744898f42 (plain) (tree)
1
2
3
4
5
6
7
8
9
10
11
12
13
14













                                         
-module(missing).

-export([t1/0, t2/0, t3/0, t4/0]).

-spec f(#{a := 1, b => 2, c => 3}) -> ok.
f(_) -> ok.

t1() -> f(#{b => 2}).

t2() -> f(#{a => 1, c => 4}).

t3() -> f(#{a => 1, b => 2, e => 3}).

t4() -> f(#{a => 1, b => 2}).