gpu-copy-external-image-dest-info never used

Author: MendyBerger

webgpu/generate/webgpu-transforms.json

@@ -104,6 +104,11 @@
                     "remove-type": "gpu-copy-external-image-source-info"
                 }
             },
+            {
+                "operation": {
+                    "remove-type": "gpu-copy-external-image-dest-info"
+                }
+            },
             {
                 "operation": {
                     "remove-type": "html-canvas-element-or-html-image-element-or-html-video-element-or-image-bitmap-or-image-data-or-offscreen-canvas-or-video-frame"

webgpu/webgpu.wit

@@ -972,14 +972,6 @@ interface webgpu {
     origin: option<gpu-origin3-d>,
     aspect: option<gpu-texture-aspect>,
   }
-  record gpu-copy-external-image-dest-info {
-    color-space: option<predefined-color-space>,
-    premultiplied-alpha: option<bool>,
-    texture: borrow<gpu-texture>,
-    mip-level: option<gpu-integer-coordinate>,
-    origin: option<gpu-origin3-d>,
-    aspect: option<gpu-texture-aspect>,
-  }
   record gpu-extent3-d {
     width: gpu-integer-coordinate,
     height: option<gpu-integer-coordinate>,