Revert "Add type avoidance to inferred MT bound lubbing"

This reverts commit 2f6e60d.
WojciechMazur · Feb 25, 2025 · 2fdcbc7 · 2fdcbc7
1 parent e25316c
commit 2fdcbc7
Show file tree

Hide file tree

Showing 2 changed files with 1 addition and 6 deletions.
diff --git a/compiler/src/dotty/tools/dotc/typer/Typer.scala b/compiler/src/dotty/tools/dotc/typer/Typer.scala
@@ -2665,7 +2665,7 @@ class Typer(@constructorOnly nestingLevel: Int = 0) extends Namer
       val lub = cases1.foldLeft(defn.NothingType: Type): (acc, case1) =>
         if !acc.exists then NoType
         else if case1.body.tpe.isProvisional then NoType
-        else acc | TypeOps.avoid(case1.body.tpe, case1.pat.bindTypeSymbols)
+        else acc | case1.body.tpe
       if lub.exists then
         if !lub.isAny then
           val msg = em"Match type upper bound inferred as $lub, where previously it was defaulted to Any"

diff --git a/tests/pos/i21256.scala b/tests/pos/i21256.scala