path: root/tests/untried/pos/t8060.scala

trait M[F[_]]

trait P[A] {
  type CC[X] = P[X]
  def f(p: A => Boolean): M[CC]
}

trait Other {
  // was infinite loop trying to dealias `x$1.CC`
  def g[A](p: A => Boolean): P[A] => M[P] = _ f p
}