Получение типа параметра слабого типа в реализации макроса

Question

В макросе impl[A: c.WeakTypeTag], если я нахожу, что c.weakTypeOf[A] <:< typeOf[Option[Any]], как мне получить параметр типа Option? Например, когда A является Option[String], мне нужно найти String.

Answer 1

Такая же проблема as here:

c.asInstanceOf[TypeRefApi].args.head