1 files changed, 63 insertions, 0 deletions
diff --git a/tests/bugs/gh-7905.slang b/tests/bugs/gh-7905.slang
new file mode 100644
index 000000000..69dd6d3ba
--- /dev/null
+++ b/tests/bugs/gh-7905.slang
@@ -0,0 +1,63 @@
+//TEST:SIMPLE(filecheck=CHECK): -target cuda -entry runPointEstimator
+
+// Test for issue #7905: CUDA Backend failure due to type mismatch
+// This test ensures that struct types in ParameterBlock operands are properly
+// legalized and don't create type mismatches in generated CUDA code.
+
+#define ZOMBIE_PROBLEM_DIMENSION 3
+
+public interface IExample<let DIM : int>
+{
+    // computes the distance to the boundary
+    float compute(vector<float, DIM> x);
+};
+
+public struct Query<Example,let DIM : int>
+    where Example : IExample<DIM>
+{
+    // private AbsorbingBoundaryGeometricQueries absorbingBoundaryGeometricQueries;
+    private Example query;
+    private uint hasNonEmptyAbsorbingBoundary;
+
+    public float compute(vector<float, DIM> x)
+    {
+        return query.compute(x);
+    }
+};
+
+public struct EmptyExample<let DIM : int> : IExample<DIM>
+{
+    // computes the distance to the boundary
+    public float compute(vector<float, DIM> x)
+    {
+        internal static const float FLT_MAX = 3.402823466e+38F;
+        return FLT_MAX;
+    }
+};
+
+
+typedef EmptyExample<ZOMBIE_PROBLEM_DIMENSION> ExampleQuery;
+typedef Query<ExampleQuery, ZOMBIE_PROBLEM_DIMENSION> QueryType;
+
+
+uniform ParameterBlock<QueryType> gQuery;
+uniform RWStructuredBuffer<float3> gInput;
+uniform RWStructuredBuffer<float> gOutput;
+
+
+[shader("compute")]
+[numthreads(256, 1, 1)]
+void runPointEstimator(uint3 threadId: SV_DispatchThreadID,
+                       uniform uint n)
+{
+    const uint idx = threadId.x;
+
+    if (idx >= n) {
+        return;
+    }
+
+    float res = gQuery.compute(gInput[idx]);
+    gOutput[idx] = res;
+}
+
+// CHECK-NOT: Query_1