Remove redundant guard

milessabin · milessabin · commit b2e3e0f33515 · 2019-07-22T10:07:38.000+01:00
diff --git a/compiler/src/dotty/tools/dotc/typer/Implicits.scala b/compiler/src/dotty/tools/dotc/typer/Implicits.scala
@@ -968,7 +968,7 @@ trait Implicits { self: Typer =>
       if (!checkFormal(formal)) EmptyTree
       else
         formal.member(tpnme.MirroredType).info match {
-          case TypeBounds(mirroredType, _) if checkFormal(formal) => mirrorFor(mirroredType)
+          case TypeBounds(mirroredType, _) => mirrorFor(mirroredType)
           case other => EmptyTree
         }
     }

Original file line number	Diff line number	Diff line change
`@@ -968,7 +968,7 @@ trait Implicits { self: Typer =>`
`968`	`968`	`if (!checkFormal(formal)) EmptyTree`
`969`	`969`	`else`
`970`	`970`	`formal.member(tpnme.MirroredType).info match {`
`971`		`- case TypeBounds(mirroredType, _) if checkFormal(formal) => mirrorFor(mirroredType)`
	`971`	`+ case TypeBounds(mirroredType, _) => mirrorFor(mirroredType)`
`972`	`972`	`case other => EmptyTree`
`973`	`973`	`}`
`974`	`974`	`}`