Как я могу разрешить псевдонимы с Type
? Т.е.
import reflect.runtime.universe._
type Alias[A] = Option[Option[A]]
val tpe = typeOf[Alias[_]]
val ExistentialType(quantified, underlying) = tpe
Как мне получить Option[Option[_$1]]
от underlying
(или от tpe
)? Я знаю, что typeSymbol
разрешает псевдонимы, но, похоже, теряет параметры в процессе:
scala> val tT = typeOf[Alias[_]].typeSymbol
tT: reflect.runtime.universe.Symbol = class Option
scala> tT.asType.toType
res3: reflect.runtime.universe.Type = Option[A]
scala> tT.asType.typeParams
res4: List[reflect.runtime.universe.Symbol] = List(type A)