Adjust tests of unions with any() member

Author: erszcz

test/should_fail/union_with_any.erl

@@ -3,17 +3,15 @@
 %% T | any() means
 %% "at least values of type T are possible; maybe also other values"
 
--export([f1/1, f2/0, f3/1]).
+-export([f2/0, f3/1]).
 
-%% With spec
--spec f1(atom() | any()) -> any().
-f1(X) -> inc(X).
+-gradualizer([infer]).
 
 %% Without spec
 f2() ->
     AtomOrAny = receive
-                    1   -> get_atom();
-                    Any -> Any
+                    1 -> get_atom();
+                    an_atom  -> an_atom
                 end,
     inc(AtomOrAny). %% Fails because atom() is possible
 

test/should_pass/union_with_any_pass.erl

@@ -0,0 +1,21 @@
+-module(union_with_any_pass).
+
+-export([f1/1, f2/0]).
+
+%% With spec
+-spec f1(atom() | any()) -> any().
+f1(X) -> inc(X).
+
+%% Without spec
+f2() ->
+    AtomOrAny = receive
+                    1   -> get_atom();
+                    Any -> Any
+                end,
+    inc(AtomOrAny). %% Fails because atom() is possible
+
+-spec get_atom() -> atom().
+get_atom() -> banana.
+
+-spec inc(number()) -> number().
+inc(N) -> N + 1.

test/should_pass_SUITE.erl

@@ -100,9 +100,9 @@ all_tests() ->
      tuple_union_pass,tuple_union_pat,tuple_union_pattern_pass,type_decl,
      type_pattern,type_refinement_pass,type_variable,type_vars_term,
      typed_record_field_access,unary_negate_union_with_user_type_pass,unary_plus,
-     underscore,user_type_in_pattern_body,user_types,var,var_fun,varbind_in_block,
-     varbind_in_case,varbind_in_function_head,varbind_in_lc,variable_binding,
-     variable_binding_leaks].
+     underscore,union_with_any_pass,user_type_in_pattern_body,user_types,var,
+     var_fun,varbind_in_block,varbind_in_case,varbind_in_function_head,
+     varbind_in_lc,variable_binding,variable_binding_leaks].
 
 should_pass_template(_@File) ->
     ?assertEqual(ok, gradualizer:type_check_file(_@File, [{form_check_timeout_ms, 2000}])).