Scala反射中的Dealiasing类型

Question

如何解决给定的别名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)

Answer 1

结果证明该方法normalize在2.10中被调用(dealias在2.11中已弃用并添加).我不知道在第一次搜索时我是如何错过它的.