implicit resolution via type alias fails in 2.10.1-RC1

[scabug]

Implicit resolution fails via a type alias in 2.10.1-RC1 yet works fine in 2.10.0

The following shows the problem:

trait Higher[F[_]]

trait Box[A] 
object Box {
  implicit def HigherBox = new Higher[Box] {}
}
 
object Foo {
  val box = implicitly[Higher[Box]] // compiles fine !!!

  type Bar[A] = Box[A]
  val bar = implicitly[Higher[Bar]] // <-- this doesn't compile in 2.10.1-RC1, but does in 2.10.0 !!!
}

[scabug]

Imported From: https://issues.scala-lang.org/browse/SI-7180?orig=1
Reporter: Jed Wesley-Smith (jedws)
Affected Versions: 2.10.1-RC1

[scabug]

@gkossakowski said:
Jason, assigning to you and rising it to blocker as it seems like source-incompatible regression in area you are familiar with.

[scabug]

@retronym said:
scala/scala#2166