blob: 6c1461af8d2b918c6000906d8837a293766d900e (
plain) (
tree)
|
|
import scala.reflect.runtime.universe._
object Test extends App {
def fooTypeTagHK[C[_]: ConcreteTypeTag, T: ConcreteTypeTag] = {
println(implicitly[ConcreteTypeTag[C[T]]])
println(implicitly[ConcreteTypeTag[List[C[T]]]])
}
fooTypeTagHK[List, Int]
}
|