From 46b6194347f0d995f4638adf03fd0204e89d724a Mon Sep 17 00:00:00 2001
From: Jungyeom Kim <kimjg1119@korea.ac.kr>
Date: Wed, 20 Nov 2024 14:26:36 +0900
Subject: [PATCH] Add assertion for built-in function object

---
 spec.html | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/spec.html b/spec.html
index 90d2015448..70757f76d8 100644
--- a/spec.html
+++ b/spec.html
@@ -13980,7 +13980,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>