[typer] treat empty anons as open structure constraints

see #9593
HaxeFoundation · Jun 16, 2020 · 5358840 · 5358840
1 parent 3ef7a20
commit 5358840
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/src/core/tUnification.ml b/src/core/tUnification.ml
@@ -68,6 +68,8 @@ module Monomorph = struct
 			PMap.fold (fun cf l ->
 				(MField cf) :: l
 			) an.a_fields []
+		| TAnon _ ->
+			[MOpenStructure]
 		| _ ->
 			[MType(t,name)]
 
@@ -96,7 +98,7 @@ module Monomorph = struct
 		List.iter check m.tm_constraints;
 		if DynArray.length types > 0 then
 			CTypes (DynArray.to_list types)
-		else if not (PMap.is_empty !fields) then
+		else if not (PMap.is_empty !fields) || !is_open then
 			CStructural(!fields,!is_open)
 		else
 			CUnknown