89bacb9c2 ^
28bb27672 ^
1 2 3 4
5
6 7 8
import scala.language.higherKinds trait Foo[C[_]] object Test extends dotty.runtime.LegacyApp { import scala.reflect.runtime.universe._ println(typeOf[Foo[({type l[X] = (Int, X)})#l]]) }