test/files/pos/t2741/2741_1.scala


1
2
3
4
5
6
7
8
9

trait Partial {
  type Apply[XYZ] = List[XYZ]
}
trait MA[M[_]]
trait MAs {
  val a: MA[Partial#Apply] = null // after compilation, the type is pickled as `MA[ [B] List[B] ]`
}

object Scalaz extends MAs