Known problem: Exhastieness checking for functions with multiple spec…

… clases
josefs · Jan 15, 2020 · beb5a77 · beb5a77
1 parent 67cb818
commit beb5a77
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/test/known_problems/should_pass/intersection_exhaustive.erl b/test/known_problems/should_pass/intersection_exhaustive.erl
@@ -0,0 +1,8 @@
+-module(intersection_exhaustive).
+
+-export([f/1]).
+
+-spec f(a) -> b;
+       (b) -> a.
+f(a) -> b;
+f(b) -> a.  % "The clause cannot be reached"