Editorial: Mark concrete method calls of Environment Records with ?/! (…

…#2764)

spec.html

@@ -10257,7 +10257,7 @@ <h1>
           <emu-alg>
             1. [id="step-setmutablebinding-missing-binding"] If _envRec_ does not have a binding for _N_, then
               1. If _S_ is *true*, throw a *ReferenceError* exception.
-              1. Perform _envRec_.CreateMutableBinding(_N_, *true*).
+              1. Perform ! _envRec_.CreateMutableBinding(_N_, *true*).
               1. Perform ! _envRec_.InitializeBinding(_N_, _V_).
               1. Return ~unused~.
             1. If the binding for _N_ in _envRec_ is a strict binding, set _S_ to *true*.
@@ -10938,7 +10938,7 @@ <h1>
           <emu-alg>
             1. Let _DclRec_ be _envRec_.[[DeclarativeRecord]].
             1. If ! _DclRec_.HasBinding(_N_) is *true*, throw a *TypeError* exception.
-            1. Return _DclRec_.CreateMutableBinding(_N_, _D_).
+            1. Return ! _DclRec_.CreateMutableBinding(_N_, _D_).
           </emu-alg>
         </emu-clause>
 
@@ -10959,7 +10959,7 @@ <h1>
           <emu-alg>
             1. Let _DclRec_ be _envRec_.[[DeclarativeRecord]].
             1. If ! _DclRec_.HasBinding(_N_) is *true*, throw a *TypeError* exception.
-            1. Return _DclRec_.CreateImmutableBinding(_N_, _S_).
+            1. Return ! _DclRec_.CreateImmutableBinding(_N_, _S_).
           </emu-alg>
         </emu-clause>
 
@@ -11028,7 +11028,7 @@ <h1>
           <emu-alg>
             1. Let _DclRec_ be _envRec_.[[DeclarativeRecord]].
             1. If ! _DclRec_.HasBinding(_N_) is *true*, then
-              1. Return _DclRec_.GetBindingValue(_N_, _S_).
+              1. Return ? _DclRec_.GetBindingValue(_N_, _S_).
             1. Let _ObjRec_ be _envRec_.[[ObjectRecord]].
             1. Return ? <emu-meta effects="user-code">_ObjRec_.GetBindingValue</emu-meta>(_N_, _S_).
           </emu-alg>
@@ -23390,7 +23390,7 @@ <h1>
         1. Set _name_ to StringValue of |BindingIdentifier|.
         1. Let _outerEnv_ be the running execution context's LexicalEnvironment.
         1. Let _funcEnv_ be NewDeclarativeEnvironment(_outerEnv_).
-        1. Perform _funcEnv_.CreateImmutableBinding(_name_, *false*).
+        1. Perform ! _funcEnv_.CreateImmutableBinding(_name_, *false*).
         1. Let _privateEnv_ be the running execution context's PrivateEnvironment.
         1. Let _sourceText_ be the source text matched by |FunctionExpression|.
         1. Let _closure_ be OrdinaryFunctionCreate(%Function.prototype%, _sourceText_, |FormalParameters|, |FunctionBody|, ~non-lexical-this~, _funcEnv_, _privateEnv_).
@@ -23943,7 +23943,7 @@ <h1>
         1. Set _name_ to StringValue of |BindingIdentifier|.
         1. Let _outerEnv_ be the running execution context's LexicalEnvironment.
         1. Let _funcEnv_ be NewDeclarativeEnvironment(_outerEnv_).
-        1. Perform _funcEnv_.CreateImmutableBinding(_name_, *false*).
+        1. Perform ! _funcEnv_.CreateImmutableBinding(_name_, *false*).
         1. Let _privateEnv_ be the running execution context's PrivateEnvironment.
         1. Let _sourceText_ be the source text matched by |GeneratorExpression|.
         1. Let _closure_ be OrdinaryFunctionCreate(%GeneratorFunction.prototype%, _sourceText_, |FormalParameters|, |GeneratorBody|, ~non-lexical-this~, _funcEnv_, _privateEnv_).
@@ -24785,7 +24785,7 @@ <h1>
         1. Let _env_ be the LexicalEnvironment of the running execution context.
         1. Let _classEnv_ be NewDeclarativeEnvironment(_env_).
         1. If _classBinding_ is not *undefined*, then
-          1. Perform _classEnv_.CreateImmutableBinding(_classBinding_, *true*).
+          1. Perform ! _classEnv_.CreateImmutableBinding(_classBinding_, *true*).
         1. Let _outerPrivateEnvironment_ be the running execution context's PrivateEnvironment.
         1. Let _classPrivateEnvironment_ be NewPrivateEnvironment(_outerPrivateEnvironment_).
         1. If |ClassBody?| is present, then