path: root/test/files/run/t6113.scala

trait Foo[C[_]]

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