summaryrefslogtreecommitdiffstats
path: root/source
diff options
context:
space:
mode:
authorYong He <yonghe@outlook.com>2025-07-10 21:11:46 -0700
committerGitHub <noreply@github.com>2025-07-11 04:11:46 +0000
commit7764b83d24d341334ca7c1693cae2472be8f8d99 (patch)
tree50ed4779a43bbe52798340c67c5d83bb30ba792b /source
parent0ddb2fcbbaa5387990c8812341fbe8e2848f8989 (diff)
Fix issue in match parameter type that depend on an associatedtype. (#7707)
Diffstat (limited to 'source')
-rw-r--r--source/slang/slang-check-decl.cpp2
1 files changed, 1 insertions, 1 deletions
diff --git a/source/slang/slang-check-decl.cpp b/source/slang/slang-check-decl.cpp
index 847f296bb..7cd1d7df8 100644
--- a/source/slang/slang-check-decl.cpp
+++ b/source/slang/slang-check-decl.cpp
@@ -4407,7 +4407,7 @@ bool SemanticsVisitor::doesGenericSignatureMatchRequirement(
auto satisfyingWitness = m_astBuilder->getDeclaredSubtypeWitness(
getSub(m_astBuilder, satisfyingConstraintDeclRef),
getSup(m_astBuilder, satisfyingConstraintDeclRef),
- satisfyingConstraintDeclRef);
+ satisfyingConstraintDeclRef.getDecl());
requiredSubstArgs.add(satisfyingWitness);
}