Scala 2.13 regression: Path-dependent type of an implicit is lost

[japgolly]

Compiler version

3.0.0

Minimized code

class F[A]
object F {
  def apply[A](a: => A) = new F[A]
}

trait TC[A] { type Out }
object TC {
  implicit def tc[A]: TC[A] { type Out = String } = ???
}

// ====================================================================================
object Bug {
  final class CustomHook[A] {
    def blah(implicit tc: TC[A]): CustomHook[tc.Out] = ???
  }

  def i: CustomHook[Int] = ???
  val f = F(i.blah)
  f: F[CustomHook[String]] // error
}

// ====================================================================================
object Workaround {
  final class CustomHook[A] {
    def blah[B](implicit tc: TC[A] { type Out = B }): CustomHook[B] = ??? // raise type
  }

  def i: CustomHook[Int] = ???
  val f = F(i.blah)
  f: F[CustomHook[String]] // works
}

Output

[error] 19 |  f: F[CustomHook[String]] // error
[error]    |  ^
[error]    |  Found:    (Bug.f : F[Bug.CustomHook[Nothing]])
[error]    |  Required: F[Bug.CustomHook[String]]

Expectation

It should compile. (It does with Scala 2.13.)

[abgruszecki]

This looks like we somehow can't retrieve the precise type of the inferred implicit.
EDIT: but maybe not? This is what the line above the error looks like after Typer:

    val f: F[Bug.CustomHook[Nothing]] = F.apply[Bug.CustomHook[Nothing]](Bug.i.blah(TC.tc[Int]))