Generate a validation error on mapAsync early-reject

kainino0x · kainino0x · commit e3d84785af55 · 2024-07-24T18:50:46.000-07:00
diff --git a/spec/index.bs b/spec/index.bs
@@ -3424,13 +3424,21 @@ The {{GPUMapMode}} flags determine how a {{GPUBuffer}} is mapped when calling
 
                 1. Let <var data-timeline=content>contentTimeline</var> be the current [=Content timeline=].
                 1. If |this|.{{GPUBuffer/[[pending_map]]}} is not `null`:
+                    1. Issue the |early-reject steps| on the [=Device timeline=] of
+                        |this|.{{GPUObjectBase/[[device]]}}.
                     1. Return [=a promise rejected with=] {{OperationError}}.
                 1. Let |p| be a new {{Promise}}.
                 1. Set |this|.{{GPUBuffer/[[pending_map]]}} to |p|.
                 1. Issue the |validation steps| on the [=Device timeline=] of
                     |this|.{{GPUObjectBase/[[device]]}}.
                 1. Return |p|.
             </div>
+            <div data-timeline=device>
+                [=Device timeline=] |early-reject steps|:
+
+                1. [$Generate a validation error$].
+                1. Return.
+            </div>
             <div data-timeline=device>
                 [=Device timeline=] |validation steps|:
 
