Editorial: Add an assertion for privateEnv (#3485)

tc39 · Nov 21, 2024 · cf5938e · cf5938e
1 parent ddd7360
commit cf5938e
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 1 deletion.
diff --git a/esmeta-ignore.json b/esmeta-ignore.json
@@ -19,7 +19,6 @@
   "Record[SourceTextModuleRecord].ExecuteModule",
   "Record[SourceTextModuleRecord].InitializeEnvironment",
   "Record[SourceTextModuleRecord].ResolveExport",
-  "RelationalExpression[7,0].Evaluation",
   "SuperCall[0,0].Evaluation",
   "TypedArrayGetElement",
   "TypedArrayLength",

diff --git a/spec.html b/spec.html
@@ -20404,6 +20404,7 @@ <h1>Runtime Semantics: Evaluation</h1>
         1. Let _rVal_ be ? GetValue(_rRef_).
         1. If _rVal_ is not an Object, throw a *TypeError* exception.
         1. Let _privateEnv_ be the running execution context's PrivateEnvironment.
+        1. Assert: _privateEnv_ is not *null*.
         1. Let _privateName_ be ResolvePrivateIdentifier(_privateEnv_, _privateIdentifier_).
         1. If PrivateElementFind(_rVal_, _privateName_) is not ~empty~, return *true*.
         1. Return *false*.