improve error message on generic value decls (#6169)

Co-authored-by: Yong He <yonghe@outlook.com>

1 files changed, 21 insertions, 0 deletions

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<let TValue0 : uint, let TValue1> : ITest
+{
+    static const uint kValue0 = TValue0;
+    static const uint kValue1 = TValue1;
+};
+
+void computeMain()
+{
+}