should_fail/intersection_with_any - one more example (josefs#305)

FrankBro · Dec 11, 2020 · df3f352 · df3f352
1 parent f327b0b
commit df3f352
Show file tree

Hide file tree

Showing 2 changed files with 11 additions and 2 deletions.
diff --git a/test/known_problems/should_pass/intersection_with_any.erl b/test/known_problems/should_pass/intersection_with_any.erl
@@ -0,0 +1,10 @@
+-module(intersection_with_any).
+
+-export([intersection_using_constraints/1]).
+
+%% X :: integer() & any() by the constraints
+-spec intersection_using_constraints(X) -> 5 when X :: integer(), X :: any().
+intersection_using_constraints(X) ->
+    % X :: integer() & any() at this point,
+    % which should be compatible with X :: 5
+    X.
diff --git a/test/should_fail/intersection_with_any.erl b/test/should_fail/intersection_with_any.erl
@@ -2,7 +2,6 @@
 
 -export([intersection_using_constraints/1]).
 
-%% X :: integer() & any() by the constraints
--spec intersection_using_constraints(X) -> 5 when X :: integer(), X :: any().
+-spec intersection_using_constraints(X) -> atom() when X :: integer(), X :: any() .
 intersection_using_constraints(X) ->
     X.