在宏中查找具有类型参数的直接已知子类

Question

In short, I need a macro that for a given sealed trait finds all subtypes.

Suppose I have the following hierarchy:

sealed trait T[A]
case class C[A]() extends T[A]

Now, in my macro, I have the WeakTypeTag for eg T[String] . Using .asClass.knownDirectSubclasses , I can find C[A] , but I don't see a good way to arrive at type C[String] . I've experimented with .substituteTypes(..., ...) but without success.

Answer 1

I've figured it out.

The answer is using appliedType(..., ...) included in import c.universe._ .