diff options
Diffstat (limited to 'source/slang/slang-check-decl.cpp')
| -rw-r--r-- | source/slang/slang-check-decl.cpp | 5 |
1 files changed, 2 insertions, 3 deletions
diff --git a/source/slang/slang-check-decl.cpp b/source/slang/slang-check-decl.cpp index aae741770..ffbc5a841 100644 --- a/source/slang/slang-check-decl.cpp +++ b/source/slang/slang-check-decl.cpp @@ -3234,7 +3234,7 @@ namespace Slang // First we need to make sure the associated `Differential` type requirement is satisfied. bool hasDifferentialAssocType = false; - for (auto existingEntry : witnessTable->requirementList) + for (auto existingEntry : witnessTable->requirementDictionary) { if (auto builtinReqAttr = existingEntry.Key->findModifier<BuiltinRequirementModifier>()) { @@ -4678,7 +4678,6 @@ namespace Slang void SemanticsDeclBodyVisitor::visitFunctionDeclBase(FunctionDeclBase* decl) { auto newContext = withParentFunc(decl); - _maybeRegisterDifferentialBottomTypeConformance(newContext); // Run checking on attributes that can't be fully checked in header checking stage. checkDerivativeOfAttribute(decl); @@ -6008,7 +6007,7 @@ namespace Slang // without any additional substitutions. if (extDecl->targetType->equals(type)) { - return extDeclRef; + return createDefaultSubstitutionsIfNeeded(m_astBuilder, this, extDeclRef).as<ExtensionDecl>(); } if (!TryUnifyTypes(constraints, extDecl->targetType.Ptr(), type)) |