Add an assertion for privateEnv

tc39 · Nov 20, 2024 · 0780c51 · 0780c51
1 parent 5881c1f
commit 0780c51
Showing 1 changed file with 1 addition and 0 deletions.
diff --git a/spec.html b/spec.html
@@ -20374,6 +20374,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*.