9ef5f6817 ^
4d1c9e221 ^
1
2
3 4 5 6
7
8 9 10 11
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 }