[spec] clean up AddDisposableResource (#150)

This AO is only ever called with a value and no method, or, with an undefined value and a method
tc39 · Mar 22, 2023 · 3b3345a · 3b3345a
1 parent f03a9f2
commit 3b3345a
Showing 1 changed file with 2 additions and 5 deletions.
diff --git a/spec.emu b/spec.emu
@@ -1004,11 +1004,8 @@ contributors: Ron Buckton, Ecma International
           1. If Type(_V_) is not Object, throw a *TypeError* exception.
           1. Let _resource_ be ? CreateDisposableResource(_V_, _hint_).
         1. Else,
-          1. If _V_ is *null* or *undefined*, then
-            1. Let _resource_ be ? CreateDisposableResource(*undefined*, _hint_, _method_).
-          1. Else,
-            1. If Type(_V_) is not Object, throw a *TypeError* exception.
-            1. Let _resource_ be ? CreateDisposableResource(_V_, _hint_, _method_).
+          1. Assert: _V_ is *undefined*.
+          1. Let _resource_ be ? CreateDisposableResource(*undefined*, _hint_, _method_).
         1. Append _resource_ to _disposeCapability_.[[DisposableResourceStack]].
         1. Return ~unused~.
       </emu-alg>