test/pending/run/macro-reify-groundtypetag-hktypeparams-tags/Test.scala


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]
}