From cf66563cfdcff9b7d76017e5b73319705ccdb735 Mon Sep 17 00:00:00 2001 From: Darren Wihandi <65404740+fairywreath@users.noreply.github.com> Date: Tue, 28 Jan 2025 21:24:35 -0500 Subject: Fix exact-match witness synthesis for static functions (#6204) * fix non-static methods when trying to synthesize method requirement witness * add tests * update test * improve test --------- Co-authored-by: Yong He --- .../interfaces/static-method-not-implemented.slang | 27 ++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100644 tests/language-feature/interfaces/static-method-not-implemented.slang (limited to 'tests/language-feature/interfaces/static-method-not-implemented.slang') diff --git a/tests/language-feature/interfaces/static-method-not-implemented.slang b/tests/language-feature/interfaces/static-method-not-implemented.slang new file mode 100644 index 000000000..1d46c1be6 --- /dev/null +++ b/tests/language-feature/interfaces/static-method-not-implemented.slang @@ -0,0 +1,27 @@ +//DIAGNOSTIC_TEST:SIMPLE(filecheck=CHECK): -target spirv + +interface Base +{ + static int getValue(); +} + +struct Impl : Base +{ + // This is not static and not allowed to implement the interface's static method. + // CHECK: error 38105: member 'getValue' does not match interface requirement + int getValue() { return 5; } +} + +int callGet() +{ + return Foo::getValue(); +} + +RWStructuredBuffer result; + +[numthreads(1, 1, 1)] +void computeMain() +{ + result[0] = callGet(); +} + -- cgit v1.2.3