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