summaryrefslogtreecommitdiff
path: root/source/slang/slang-check-conformance.cpp
diff options
context:
space:
mode:
Diffstat (limited to 'source/slang/slang-check-conformance.cpp')
-rw-r--r--source/slang/slang-check-conformance.cpp6
1 files changed, 3 insertions, 3 deletions
diff --git a/source/slang/slang-check-conformance.cpp b/source/slang/slang-check-conformance.cpp
index 81d36c6f6..ce41df521 100644
--- a/source/slang/slang-check-conformance.cpp
+++ b/source/slang/slang-check-conformance.cpp
@@ -173,11 +173,11 @@ namespace Slang
if( auto aggTypeDeclRef = declRef.as<AggTypeDecl>() )
{
- checkDecl(aggTypeDeclRef.getDecl());
+ ensureDecl(aggTypeDeclRef, DeclCheckState::CanEnumerateBases);
for( auto inheritanceDeclRef : getMembersOfTypeWithExt<InheritanceDecl>(aggTypeDeclRef))
{
- checkDecl(inheritanceDeclRef.getDecl());
+ ensureDecl(inheritanceDeclRef, DeclCheckState::CanUseBaseOfInheritanceDecl);
// Here we will recursively look up conformance on the type
// that is being inherited from. This is dangerous because
@@ -210,7 +210,7 @@ namespace Slang
// if an inheritance decl is not found, try to find a GenericTypeConstraintDecl
for (auto genConstraintDeclRef : getMembersOfType<GenericTypeConstraintDecl>(aggTypeDeclRef))
{
- checkDecl(genConstraintDeclRef.getDecl());
+ ensureDecl(genConstraintDeclRef, DeclCheckState::CanUseBaseOfInheritanceDecl);
auto inheritedType = GetSup(genConstraintDeclRef);
TypeWitnessBreadcrumb breadcrumb;
breadcrumb.prev = inBreadcrumbs;