Editorial: separate unrelated variable in yield* evaluation (tc39#3687)

Author: nicolo-ribaudo

spec.html

@@ -24276,17 +24276,17 @@ <h1>Runtime Semantics: Evaluation</h1>
             1. Assert: _received_ is a return completion.
             1. Let _return_ be ? GetMethod(_iterator_, *"return"*).
             1. If _return_ is *undefined*, then
-              1. Set _value_ to _received_.[[Value]].
+              1. Let _receivedValue_ be _received_.[[Value]].
               1. If _generatorKind_ is ~async~, then
-                1. Set _value_ to ? Await(_value_).
-              1. Return ReturnCompletion(_value_).
+                1. Set _receivedValue_ to ? Await(_receivedValue_).
+              1. Return ReturnCompletion(_receivedValue_).
             1. Let _innerReturnResult_ be ? Call(_return_, _iterator_, « _received_.[[Value]] »).
             1. If _generatorKind_ is ~async~, set _innerReturnResult_ to ? Await(_innerReturnResult_).
             1. If _innerReturnResult_ is not an Object, throw a *TypeError* exception.
             1. Let _done_ be ? IteratorComplete(_innerReturnResult_).
             1. If _done_ is *true*, then
-              1. Set _value_ to ? IteratorValue(_innerReturnResult_).
-              1. Return ReturnCompletion(_value_).
+              1. Let _returnedValue_ be ? IteratorValue(_innerReturnResult_).
+              1. Return ReturnCompletion(_returnedValue_).
             1. If _generatorKind_ is ~async~, set _received_ to Completion(AsyncGeneratorYield(? IteratorValue(_innerReturnResult_))).
             1. Else, set _received_ to Completion(GeneratorYield(_innerReturnResult_)).
       </emu-alg>