blob: 6c1461af8d2b918c6000906d8837a293766d900e (
plain) (
blame)
1
2
3
4
5
6
7
8
9
|
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]
}
|