More precies type modeling for AsyncGeneratorRequest

es-meta · Sep 22, 2024 · d485112 · d485112
1 parent 219601e
commit d485112
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/main/resources/manuals/types b/src/main/resources/manuals/types
@@ -824,7 +824,7 @@ type PromiseCapabilityRecord {
 
 // https://tc39.es/ecma262/#sec-asyncgeneratorrequest-records
 type AsyncGeneratorRequest {
-  Completion: Record[CompletionRecord];
+  Completion: Normal[ESValue] | Abrupt { Value: ESValue };
   Capability: Record[PromiseCapabilityRecord];
 }