Editorial: Narrowing an assertion in SuperCall: super Arguments (#3466)

tc39 · Jan 16, 2025 · 519149d · 519149d
1 parent f55b180
commit 519149d
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 3 deletions.
diff --git a/esmeta-ignore.json b/esmeta-ignore.json
@@ -10,7 +10,6 @@
   "MakeMatchIndicesIndexPairArray",
   "Record[SourceTextModuleRecord].ExecuteModule",
   "Record[SourceTextModuleRecord].ResolveExport",
-  "SuperCall[0,0].Evaluation",
   "TypedArrayGetElement",
   "TypedArrayLength",
   "TypedArraySetElement",

diff --git a/spec.html b/spec.html
@@ -10695,7 +10695,7 @@ <h1>Function Environment Records</h1>
                 [[NewTarget]]
               </td>
               <td>
-                an Object or *undefined*
+                a constructor or *undefined*
               </td>
               <td>
                 If this Environment Record was created by the [[Construct]] internal method, [[NewTarget]] is the value of the [[Construct]] _newTarget_ parameter. Otherwise, its value is *undefined*.
@@ -19494,7 +19494,7 @@ <h1>Runtime Semantics: Evaluation</h1>
         <emu-grammar>SuperCall : `super` Arguments</emu-grammar>
         <emu-alg>
           1. Let _newTarget_ be GetNewTarget().
-          1. Assert: _newTarget_ is an Object.
+          1. Assert: _newTarget_ is a constructor.
           1. Let _func_ be GetSuperConstructor().
           1. Let _argList_ be ? ArgumentListEvaluation of |Arguments|.
           1. If IsConstructor(_func_) is *false*, throw a *TypeError* exception.