From 31172be34d46d5e2015fa42e7f62e039e42d48a3 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Andr=C3=A9=20Bargull?= <andre.bargull@gmail.com>
Date: Mon, 26 Aug 2024 07:26:55 +0200
Subject: [PATCH] Editorial: Remove unnecessary `undefined` type from property
 descriptor tests

`Is{Accessor,Data,Generic}Descriptor` are never called with `undefined`.
---
 spec.html | 9 +++------
 1 file changed, 3 insertions(+), 6 deletions(-)

diff --git a/spec.html b/spec.html
index 264e39164f..334ae4b0f7 100644
--- a/spec.html
+++ b/spec.html
@@ -4411,13 +4411,12 @@ <h1>The Property Descriptor Specification Type</h1>
       <emu-clause id="sec-isaccessordescriptor" type="abstract operation">
         <h1>
           IsAccessorDescriptor (
-            _Desc_: a Property Descriptor or *undefined*,
+            _Desc_: a Property Descriptor,
           ): a Boolean
         </h1>
         <dl class="header">
         </dl>
         <emu-alg>
-          1. If _Desc_ is *undefined*, return *false*.
           1. If _Desc_ has a [[Get]] field, return *true*.
           1. If _Desc_ has a [[Set]] field, return *true*.
           1. Return *false*.
@@ -4427,13 +4426,12 @@ <h1>
       <emu-clause id="sec-isdatadescriptor" type="abstract operation">
         <h1>
           IsDataDescriptor (
-            _Desc_: a Property Descriptor or *undefined*,
+            _Desc_: a Property Descriptor,
           ): a Boolean
         </h1>
         <dl class="header">
         </dl>
         <emu-alg>
-          1. If _Desc_ is *undefined*, return *false*.
           1. If _Desc_ has a [[Value]] field, return *true*.
           1. If _Desc_ has a [[Writable]] field, return *true*.
           1. Return *false*.
@@ -4443,13 +4441,12 @@ <h1>
       <emu-clause id="sec-isgenericdescriptor" type="abstract operation">
         <h1>
           IsGenericDescriptor (
-            _Desc_: a Property Descriptor or *undefined*,
+            _Desc_: a Property Descriptor,
           ): a Boolean
         </h1>
         <dl class="header">
         </dl>
         <emu-alg>
-          1. If _Desc_ is *undefined*, return *false*.
           1. If IsAccessorDescriptor(_Desc_) is *true*, return *false*.
           1. If IsDataDescriptor(_Desc_) is *true*, return *false*.
           1. Return *true*.