From 38f68d784811ac566c39807f2a6e2617a32ba9ae Mon Sep 17 00:00:00 2001
From: Jungyeom Kim <kimjg1119@korea.ac.kr>
Date: Wed, 18 Dec 2024 15:36:20 -0800
Subject: [PATCH] Editorial: Add assertion for built-in function object (#3483)

---
 esmeta-ignore.json | 1 -
 spec.html          | 4 +++-
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/esmeta-ignore.json b/esmeta-ignore.json
index 4ce55ea899..5d2dd3e909 100644
--- a/esmeta-ignore.json
+++ b/esmeta-ignore.json
@@ -10,7 +10,6 @@
   "GetViewByteLength",
   "INTRINSICS.Atomics.notify",
   "MakeMatchIndicesIndexPairArray",
-  "Record[BuiltinFunctionObject].Construct",
   "Record[ModuleNamespaceExoticObject].Get",
   "Record[SourceTextModuleRecord].ExecuteModule",
   "Record[SourceTextModuleRecord].InitializeEnvironment",
diff --git a/spec.html b/spec.html
index 48321fe795..bce1f26803 100644
--- a/spec.html
+++ b/spec.html
@@ -13979,7 +13979,9 @@ <h1>
         <dd>a built-in function object _F_ (when the method is present)</dd>
       </dl>
       <emu-alg>
-        1. Return ? BuiltinCallOrConstruct(_F_, ~uninitialized~, _argumentsList_, _newTarget_).
+        1. Let _result_ be ? BuiltinCallOrConstruct(_F_, ~uninitialized~, _argumentsList_, _newTarget_).
+        1. Assert: _result_ is an Object.
+        1. Return _result_.
       </emu-alg>
     </emu-clause>