lib/dialyzer/test/map_SUITE_data/src/contract.erl


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}).