From a04e9de0c6b1cc4c7bf6d9cd175acd51b8e035ad Mon Sep 17 00:00:00 2001
From: Hyunjoon Kim <rickykhj@korea.ac.kr>
Date: Thu, 25 Jul 2024 14:02:00 +0900
Subject: [PATCH] Editorial: Add assertion that generatorKind is not
 non-generator

---
 spec.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/spec.html b/spec.html
index 9823aaa49e..1a48b92fda 100644
--- a/spec.html
+++ b/spec.html
@@ -24084,6 +24084,7 @@ <h1>Runtime Semantics: Evaluation</h1>
       <emu-grammar>YieldExpression : `yield` `*` AssignmentExpression</emu-grammar>
       <emu-alg>
         1. Let _generatorKind_ be GetGeneratorKind().
+        1. Assert: _generatorKind_ is not ~non-generator~.
         1. Let _exprRef_ be ? Evaluation of |AssignmentExpression|.
         1. Let _value_ be ? GetValue(_exprRef_).
         1. Let _iteratorRecord_ be ? GetIterator(_value_, _generatorKind_).