Add type guard for AsyncGeneratorValidate / Preser refinements for Co…

…mpletion
es-meta · Sep 22, 2024 · c5fea4b · c5fea4b
1 parent 33cd183
commit c5fea4b
Showing 1 changed file with 8 additions and 1 deletion.
diff --git a/src/main/scala/esmeta/analyzer/TypeAnalyzer.scala b/src/main/scala/esmeta/analyzer/TypeAnalyzer.scala
@@ -242,7 +242,7 @@ class TypeAnalyzer(
           AbsValue(refined, Map())
         },
         "Completion" -> { (xs, vs, retTy) =>
-          AbsValue(vs(0).ty && CompT, Map())
+          vs(0) ⊓ AbsValue(CompT)
         },
         "NormalCompletion" -> { (xs, vs, retTy) =>
           AbsValue(NormalT(vs(0).ty -- CompT), Map())
@@ -492,6 +492,13 @@ class TypeAnalyzer(
           xs(0).map { x => map += True -> Map(x -> (ObjectT || SymbolT)) }
           AbsValue(retTy, map)
         },
+        "AsyncGeneratorValidate" -> { (xs, vs, retTy) =>
+          var map: Refinements = Map()
+          xs(0).map { x =>
+            map += Normal -> Map(x -> RecordT("AsyncGenerator"))
+          }
+          AbsValue(retTy, map)
+        },
       )
 
     /** update return points */