We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent c47a2d3 commit acc0e9dCopy full SHA for acc0e9d
compiler/src/dotty/tools/dotc/core/TyperState.scala
@@ -159,7 +159,7 @@ class TyperState() {
159
* in this constraint and its predecessors where necessary.
160
*/
161
def ensureNotConflicting(other: Constraint)(using Context): Unit =
162
- val conflicting = constraint.domainLambdas.find(constraint.hasConflictingTypeVarsFor(_, other))
+ val conflicting = constraint.domainLambdas.filter(constraint.hasConflictingTypeVarsFor(_, other))
163
for tl <- conflicting do
164
val tl1 = constraint.ensureFresh(tl)
165
for case (tvar: TypeVar, pref1) <- tl.paramRefs.map(constraint.typeVarOfParam).lazyZip(tl1.paramRefs) do
0 commit comments