diff options
Diffstat (limited to 'source/slang/slang-check-constraint.cpp')
| -rw-r--r-- | source/slang/slang-check-constraint.cpp | 10 |
1 files changed, 5 insertions, 5 deletions
diff --git a/source/slang/slang-check-constraint.cpp b/source/slang/slang-check-constraint.cpp index 65d716db0..c38c9e7f2 100644 --- a/source/slang/slang-check-constraint.cpp +++ b/source/slang/slang-check-constraint.cpp @@ -290,7 +290,7 @@ namespace Slang if(!TryUnifyTypes(*system, getSub(m_astBuilder, constraintDeclRef), getSup(m_astBuilder, constraintDeclRef))) return SubstitutionSet(); } - SubstitutionSet resultSubst = genericDeclRef.substitutions; + SubstitutionSet resultSubst = genericDeclRef.getSubst(); // Once have built up the full list of constraints we are trying to satisfy, // we will attempt to solve for each parameter in a way that satisfies all @@ -457,7 +457,7 @@ namespace Slang // apply the substitutions we already know... GenericSubstitution* solvedSubst = m_astBuilder->getOrCreateGenericSubstitution( - genericDeclRef.getDecl(), args, genericDeclRef.substitutions.substitutions); + genericDeclRef.getDecl(), args, genericDeclRef.getSubst()); for( auto constraintDecl : genericDeclRef.getDecl()->getMembersOfType<GenericTypeConstraintDecl>() ) { @@ -510,7 +510,7 @@ namespace Slang } resultSubst = m_astBuilder->getOrCreateGenericSubstitution( - genericDeclRef.getDecl(), args, genericDeclRef.substitutions.substitutions); + genericDeclRef.getDecl(), args, genericDeclRef.getSubst()); return resultSubst; } @@ -737,8 +737,8 @@ namespace Slang // to each declaration reference. if (!tryUnifySubstitutions( constraints, - fstDeclRef.substitutions.substitutions, - sndDeclRef.substitutions.substitutions)) + fstDeclRef.getSubst(), + sndDeclRef.getSubst())) { return false; } |
