1 files changed, 23 insertions, 0 deletions
diff --git a/lib/dialyzer/test/map_SUITE_data/src/exact.erl b/lib/dialyzer/test/map_SUITE_data/src/exact.erl
new file mode 100644
index 0000000000..e5ad02ec54
--- /dev/null
+++ b/lib/dialyzer/test/map_SUITE_data/src/exact.erl
@@ -0,0 +1,23 @@
+-module(exact).
+
+-export([t1/1, t2/1]).
+
+t1(M = #{}) ->
+    any_map(M),
+    case M of
+	#{a := _} -> error(fail);
+	_ -> ok
+    end.
+
+any_map(X) ->
+    X#{a => 1, a := 2}.
+
+t2(M = #{}) ->
+    has_a(M),
+    case M of
+	#{a := _} -> error(ok);
+	_ -> unreachable
+    end.
+
+has_a(M) ->
+    M#{a := 1, a => 2}.