test/files/run/t6113.scala


1
2
3
4
5
6
7
8

import scala.language.higherKinds

trait Foo[C[_]]

object Test extends App {
  import scala.reflect.runtime.universe._
  println(typeOf[Foo[({type l[X] = (Int, X)})#l]])
}