blob: 90e014d74b49a2a88a62001aaf9645f8dbbbd6c9 (
plain) (
tree)
|
|
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
}
|