From 45560483447dd737a63efc236b2be07fd0fc4347 Mon Sep 17 00:00:00 2001 From: Yong He Date: Wed, 11 Jun 2025 12:12:53 -0700 Subject: Fix an issue in extension override. (#7402) * Fix an issue in extension override. * Fix typo in comment. --- source/slang/slang-check-inheritance.cpp | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) (limited to 'source/slang/slang-check-inheritance.cpp') diff --git a/source/slang/slang-check-inheritance.cpp b/source/slang/slang-check-inheritance.cpp index 37b4d3158..2554553de 100644 --- a/source/slang/slang-check-inheritance.cpp +++ b/source/slang/slang-check-inheritance.cpp @@ -450,14 +450,15 @@ InheritanceInfo SharedSemanticsContext::_calcInheritanceInfo( // then we need to add the extension itself as a facet. // auto extDeclRef = - createDefaultSubstitutionsIfNeeded(astBuilder, &visitor, extensionDecl); - auto selfExtFacet = new (arena) Facet::Impl( + createDefaultSubstitutionsIfNeeded(astBuilder, &visitor, extensionDecl) + .as(); + auto extInheritanceInfo = getInheritanceInfo(extDeclRef, circularityInfo); + addDirectBaseFacet( Facet::Kind::Extension, - Facet::Directness::Direct, - extDeclRef, selfType, - astBuilder->getTypeEqualityWitness(selfType)); - allFacets.add(selfExtFacet); + selfIsSelf, + extDeclRef, + extInheritanceInfo); } } -- cgit v1.2.3