diff options
| author | Yong He <yonghe@outlook.com> | 2024-03-14 14:14:18 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-03-14 14:14:18 -0700 |
| commit | 78d4df0644b20b8ba4eeff459c749c4e8d261345 (patch) | |
| tree | 0fec98d03281134cc46a0cc96cfd48b6107b159f /source/slang/slang-check-decl.cpp | |
| parent | ba65c212f71a9033c11657936f202f67b01abf23 (diff) | |
Add diagnostic on invalid type constraint. (#3769)
Diffstat (limited to 'source/slang/slang-check-decl.cpp')
| -rw-r--r-- | source/slang/slang-check-decl.cpp | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/source/slang/slang-check-decl.cpp b/source/slang/slang-check-decl.cpp index c08e8f7ef..88a707ed8 100644 --- a/source/slang/slang-check-decl.cpp +++ b/source/slang/slang-check-decl.cpp @@ -2206,6 +2206,10 @@ namespace Slang CheckConstraintSubType(decl->sub); decl->sub = TranslateTypeNodeForced(decl->sub); decl->sup = TranslateTypeNodeForced(decl->sup); + if (!isValidGenericConstraintType(decl->sup) && !as<ErrorType>(decl->sub.type)) + { + getSink()->diagnose(decl->sup.exp, Diagnostics::invalidTypeForConstraint, decl->sup); + } } void SemanticsDeclHeaderVisitor::visitGenericTypeParamDecl(GenericTypeParamDecl* decl) |