mirror of
https://gitflic.ru/project/openide/openide.git
synced 2026-09-27 10:03:11 +07:00
new inferencve: do not apply substitution twice for additional constraints
This commit is contained in:
+5
-5
@@ -217,13 +217,13 @@ public class InferenceSession {
|
||||
return null;
|
||||
}
|
||||
|
||||
private void collectAdditionalConstraints(PsiParameter[] parameters,
|
||||
PsiExpression[] args,
|
||||
PsiMethod parentMethod,
|
||||
Set<ConstraintFormula> additionalConstraints) {
|
||||
private static void collectAdditionalConstraints(PsiParameter[] parameters,
|
||||
PsiExpression[] args,
|
||||
PsiMethod parentMethod,
|
||||
Set<ConstraintFormula> additionalConstraints) {
|
||||
for (int i = 0; i < args.length; i++) {
|
||||
if (args[i] != null) {
|
||||
PsiType parameterType = getParameterType(parameters, args, i, mySiteSubstitutor);
|
||||
PsiType parameterType = getParameterType(parameters, args, i, PsiSubstitutor.EMPTY);
|
||||
if (!isPertinentToApplicability(args[i], parentMethod)) {
|
||||
additionalConstraints.add(new ExpressionCompatibilityConstraint(args[i], parameterType));
|
||||
}
|
||||
|
||||
Reference in New Issue
Block a user