From b3533b1c2963013213bce0f529862251125a6392 Mon Sep 17 00:00:00 2001 From: Mendy Berger <12537668+MendyBerger@users.noreply.github.com> Date: Sun, 18 May 2025 21:46:28 -0400 Subject: [PATCH] gpu-copy-external-image-dest-info never used --- webgpu/generate/webgpu-transforms.json | 5 +++++ webgpu/webgpu.wit | 8 -------- 2 files changed, 5 insertions(+), 8 deletions(-) diff --git a/webgpu/generate/webgpu-transforms.json b/webgpu/generate/webgpu-transforms.json index ac655b9..870fcca 100644 --- a/webgpu/generate/webgpu-transforms.json +++ b/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" diff --git a/webgpu/webgpu.wit b/webgpu/webgpu.wit index 3f8929f..b06a22e 100644 --- a/webgpu/webgpu.wit +++ b/webgpu/webgpu.wit @@ -972,14 +972,6 @@ interface webgpu { origin: option, aspect: option, } - record gpu-copy-external-image-dest-info { - color-space: option, - premultiplied-alpha: option, - texture: borrow, - mip-level: option, - origin: option, - aspect: option, - } record gpu-extent3-d { width: gpu-integer-coordinate, height: option,