Scala 反射中的去锯齿类型

Question

如何解决给定Type 的别名？即

import reflect.runtime.universe._

type Alias[A] = Option[Option[A]]
val tpe = typeOf[Alias[_]] 
val ExistentialType(quantified, underlying) = tpe

如何从underlying（或tpe）获得Option[Option[_$1]]？我知道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

该方法在 2.10 中被称为 normalize（已弃用并在 2.11 中添加了 dealias）。不知道我是如何在第一次搜索时错过它的。