From cf5938e6d9f1a726d2034a288cedeaa0067e1084 Mon Sep 17 00:00:00 2001
From: Jungyeom Kim <kimjg1119@korea.ac.kr>
Date: Thu, 21 Nov 2024 11:27:37 -1000
Subject: [PATCH] Editorial: Add an assertion for privateEnv (#3485)

---
 esmeta-ignore.json | 1 -
 spec.html          | 1 +
 2 files changed, 1 insertion(+), 1 deletion(-)

diff --git a/esmeta-ignore.json b/esmeta-ignore.json
index 5437707a52..9703c535b1 100644
--- 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
index 44aebfee39..8d08d7232f 100644
--- 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*.