Pass the self-check again

josefs · Mar 3, 2023 · 7c082b7 · 7c082b7
1 parent f066767
commit 7c082b7
Showing 1 changed file with 5 additions and 2 deletions.
diff --git a/src/typechecker.erl b/src/typechecker.erl
@@ -3631,8 +3631,7 @@ instantiate({type, P, Ty, Args}, Map) ->
                                  _ when is_list(Args) ->
                                      instantiate_inner(?assert_type(Args, list()), Map)
                              end,
-    %% TODO: Another case of union arg to an intersection-typed fun :(
-    {{type, P, Ty, NewArgs}, Set, NewMap};
+    {type(Ty, P, NewArgs), Set, NewMap};
 instantiate(T = {Tag, _,_}, Map)
   when Tag == integer orelse Tag == atom orelse Tag == char ->
     {T, maps:new(), Map};
@@ -5313,6 +5312,10 @@ type_of_bin_element({bin_element, _P, Expr, _Size, Specifiers}, OccursAs) ->
 type(Name, Args) ->
     {type, erl_anno:new(0), Name, Args}.
 
+-spec type(_, _, _) -> type().
+type(Name, Anno, Args) ->
+    {type, Anno, Name, Args}.
+
 %% Helper to create a type, typically a normalized type
 -spec type(atom()) -> type().
 type(top) ->