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


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

-module(guard_update).

-export([t/0, t2/0]).

t() ->
    f(#{a=>2}). %% Illegal

f(M)
  when M#{b := 7} =/= q
       -> ok.

t2() ->
    f2(#{a=>2}). %% Legal!

f2(M)
  when M#{b := 7} =/= q;
       M =/= p
       -> ok.