blob: 24881b60e14a61ec080b41ad6232b6e86f841120 (
plain) (
blame)
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
}
|