From a8471a1d9a5591202bf4a552aa7d1bf11088fdce Mon Sep 17 00:00:00 2001
From: Yong He <yonghe@outlook.com>
Date: Tue, 31 Dec 2024 09:52:51 -0800
Subject: Fix `getInheritanceInfo` for `ExtractExistentialType`. (#5971)

---
 tests/language-feature/interfaces/gh-5900.slang | 40 +++++++++++++++++++++++++
 1 file changed, 40 insertions(+)
 create mode 100644 tests/language-feature/interfaces/gh-5900.slang

(limited to 'tests/language-feature')

diff --git a/tests/language-feature/interfaces/gh-5900.slang b/tests/language-feature/interfaces/gh-5900.slang
new file mode 100644
index 000000000..996347b41
--- /dev/null
+++ b/tests/language-feature/interfaces/gh-5900.slang
@@ -0,0 +1,40 @@
+//TEST:COMPARE_COMPUTE(filecheck-buffer=CHECK): -output-using-type
+
+interface IFoo
+{
+    float get();
+}
+
+extension<FooType : IFoo> FooType {
+    float load()
+    {
+        return get();
+    }
+}
+
+struct Foo : IFoo
+{
+    RWStructuredBuffer<float> buffer;
+    int dummy;
+
+    float get() { return buffer[0]; }
+}
+
+float bugTest(IFoo t)
+{
+    return t.load();
+}
+
+//TEST_INPUT: set input = new Foo { ubuffer(data=[1.0 0 0 0], stride=4), 0 }
+ConstantBuffer<Foo> input;
+
+//TEST_INPUT: set output = out ubuffer(data=[0], stride=4)
+uniform RWStructuredBuffer<float> output;
+
+[shader("compute")]
+[numthreads(1, 1, 1)]
+void computeMain(uint3 dispatchThreadID: SV_DispatchThreadID)
+{
+    // CHECK: 1.0
+    output[0] = bugTest(input);
+}
\ No newline at end of file
-- 
cgit v1.2.3