blob: ef70a66f1aab84b93e346f0d116194c86ea091a0 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
|
import scala.reflect.mirror._
object Test extends App {
def fooTypeTagHK[C[_]: ConcreteTypeTag, T: ConcreteTypeTag] = {
println(implicitly[ConcreteTypeTag[C[T]]])
println(implicitly[ConcreteTypeTag[List[C[T]]]])
}
fooTypeTagHK[List, Int]
}
|