From 92c9fffb95c92b0bc07eb1c656375928b5cd5c33 Mon Sep 17 00:00:00 2001 From: Darren Wihandi <65404740+fairywreath@users.noreply.github.com> Date: Fri, 24 Jan 2025 16:12:38 -0500 Subject: improve error message on generic value decls (#6169) Co-authored-by: Yong He --- .../generic-value-parameter-must-have-type.slang | 21 +++++++++++++++++++++ 1 file changed, 21 insertions(+) create mode 100644 tests/diagnostics/generic-value-parameter-must-have-type.slang (limited to 'tests/diagnostics') diff --git a/tests/diagnostics/generic-value-parameter-must-have-type.slang b/tests/diagnostics/generic-value-parameter-must-have-type.slang new file mode 100644 index 000000000..a7920b86c --- /dev/null +++ b/tests/diagnostics/generic-value-parameter-must-have-type.slang @@ -0,0 +1,21 @@ +//DIAGNOSTIC_TEST:SIMPLE(filecheck=CHECK): -target spirv + +interface ITest +{ + static const uint kValue0; + static const uint kValue1; +}; + +// `TValue1` does not have an explicit type, this should fail to compile. +// CHECK: error 30623: a generic value parameter +// Make sure erroneous code is printed out. +// CHECK: let TValue1> +struct TestImpl : ITest +{ + static const uint kValue0 = TValue0; + static const uint kValue1 = TValue1; +}; + +void computeMain() +{ +} -- cgit v1.2.3