diff options
Diffstat (limited to 'source')
| -rw-r--r-- | source/slang/slang-check-decl.cpp | 12 | ||||
| -rw-r--r-- | source/slang/slang-diagnostic-defs.h | 5 |
2 files changed, 17 insertions, 0 deletions
diff --git a/source/slang/slang-check-decl.cpp b/source/slang/slang-check-decl.cpp index 584b1f081..9853b0097 100644 --- a/source/slang/slang-check-decl.cpp +++ b/source/slang/slang-check-decl.cpp @@ -3413,6 +3413,18 @@ void SemanticsDeclHeaderVisitor::visitGenericTypeParamDecl(GenericTypeParamDecl* void SemanticsDeclHeaderVisitor::visitGenericValueParamDecl(GenericValueParamDecl* decl) { checkVarDeclCommon(decl); + + // Validate that the type is supported for generic value parameters + if (decl->type.type) + { + if (!isValidCompileTimeConstantType(decl->type.type)) + { + getSink()->diagnose( + decl, + Diagnostics::genericValueParameterTypeNotSupported, + decl->type.type); + } + } } void SemanticsDeclHeaderVisitor::visitGenericDecl(GenericDecl* genericDecl) diff --git a/source/slang/slang-diagnostic-defs.h b/source/slang/slang-diagnostic-defs.h index fdfa968c3..c549ccca3 100644 --- a/source/slang/slang-diagnostic-defs.h +++ b/source/slang/slang-diagnostic-defs.h @@ -1704,6 +1704,11 @@ DIAGNOSTIC( Error, genericValueParameterMustHaveType, "a generic value parameter must be given an explicit type") +DIAGNOSTIC( + 30624, + Error, + genericValueParameterTypeNotSupported, + "generic value parameter type '$0' is not supported; only integer and enum types are allowed") // 307xx: parameters DIAGNOSTIC( |