From d4f5aa31d1fe7d75e4af066cc4c1942d28edb3e4 Mon Sep 17 00:00:00 2001
From: Kent Slaney <kentslaney@users.noreply.github.com>
Date: Thu, 19 Dec 2024 14:20:24 +0100
Subject: [PATCH] test that an override-sized array with same resolved size as
 another override-sized array works

---
 tests/tests/shader/array_size_overrides.rs | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/tests/tests/shader/array_size_overrides.rs b/tests/tests/shader/array_size_overrides.rs
index 7f1d324254c..944d648c757 100644
--- a/tests/tests/shader/array_size_overrides.rs
+++ b/tests/tests/shader/array_size_overrides.rs
@@ -11,6 +11,13 @@ const SHADER: &str = r#"
     @group(0) @binding(0)
     var<storage, read_write> output: array<u32>;
 
+    // When `n` is overridden to 14 above, it will generate the type `array<u32, 14 - 2>` which
+    // already exists in the program because of variable declaration. Ensures naga does not panic
+    // when this happens.
+    //
+    // See https://github.com/gfx-rs/wgpu/issues/6722 for more info.
+    var<workgroup> testing: array<u32, 12>;
+
     @compute @workgroup_size(1) fn main() {
         // 1d spiral
         for (var i = 0; i < n - 2; i++) {