From 04cca4e342082e6ff3aaa6f598784fadf1010288 Mon Sep 17 00:00:00 2001
From: Jungyeom Kim <kimjg1119@korea.ac.kr>
Date: Thu, 21 Nov 2024 21:36:15 +0900
Subject: [PATCH] Add an Assert at GetFunctionRealm

---
 spec.html | 1 +
 1 file changed, 1 insertion(+)

diff --git a/spec.html b/spec.html
index 90d2015448e..0ac2044d2e6 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>