From c4042979a7cdd96b663ffcc43aeee90af8d7a576 Mon Sep 17 00:00:00 2001
From: Jungyeom Kim <kimjg1119@korea.ac.kr>
Date: Wed, 18 Dec 2024 22:36:11 -0800
Subject: [PATCH] Editorial: ProxyTarget is always a function object in
 GetFunctionRealm (#3496)

---
 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 c8437a0bf7..02866dc0f3 100644
--- a/esmeta-ignore.json
+++ b/esmeta-ignore.json
@@ -5,7 +5,6 @@
   "CompareTypedArrayElements",
   "DoWait",
   "FunctionBody[0,0].EvaluateFunctionBody",
-  "GetFunctionRealm",
   "GetViewByteLength",
   "INTRINSICS.Atomics.notify",
   "MakeMatchIndicesIndexPairArray",
diff --git a/spec.html b/spec.html
index 70960724b9..67ef5e5de0 100644
--- a/spec.html
+++ b/spec.html
@@ -6646,6 +6646,7 @@ <h1>
         1. If _obj_ is a Proxy exotic object, then
           1. Perform ? ValidateNonRevokedProxy(_obj_).
           1. Let _proxyTarget_ be _obj_.[[ProxyTarget]].
+          1. Assert: _proxyTarget_ is a function object.
           1. Return ? GetFunctionRealm(_proxyTarget_).
         1. [id="step-getfunctionrealm-default-return"] Return the current Realm Record.
       </emu-alg>