diff --git a/shared/typeinference/codeql/typeinference/internal/TypeInference.qll b/shared/typeinference/codeql/typeinference/internal/TypeInference.qll index 1eaf6ef8e840..81c58bd008e2 100644 --- a/shared/typeinference/codeql/typeinference/internal/TypeInference.qll +++ b/shared/typeinference/codeql/typeinference/internal/TypeInference.qll @@ -944,7 +944,8 @@ module Make1 Input1> { not exists(countConstraintImplementations(type, constraint)) and conditionSatisfiesConstraintTypeAt(abs, sub, constraintMention, _, _) and resolveTypeMentionRoot(sub) = abs.getATypeParameter() and - constraint = resolveTypeMentionRoot(constraintMention) + constraint = resolveTypeMentionRoot(constraintMention) and + none() or countConstraintImplementations(type, constraint) > 0 and rootTypesSatisfaction(type, constraint, abs, sub, constraintMention) and