blob: 5322a4a35d6753a298d8adf8f821e9ce06847702 (
plain) (
blame)
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]])
}
|