scala – 结构类型细化和类型相等

import reflect.runtime.universe._
type T1 = AnyRef {
  def apply( name: String ): Unit
  def foo: String
}

type Base = { def apply( name: String ): Unit }
type T2 = Base {
  def foo: String
}

鉴于Base是类型细化的别名,我希望通过添加成员foo来进一步细化它
产生相同的类型,就好像我在Base中定义了foo一样.

换句话说,我希望T1和T2表示完全相同的类型.

在大多数情况下,scalac似乎同意.
通过示例,我可以传递T2的实例,其中期望T1的实例：

def f( x: T1 ){}
f( null: T2 ) // scalac does not complain here

反之亦然：

def g( x: T2 ){}
g( null: T1 ) // scalac is still happy

我也可以要求提供T1 =：= T2的证据并且编译也很好：

implicitly[T1 =:= T2]

但是,使用scala反射我会得到完全不同的结果：

scala> typeOf[T1] =:= typeOf[T2]
res2: Boolean = false

那么这是一个scala反射错误(我猜是这样)或者是否有一个根本原因(否则为技术)为什么typeOf [T1] =：= typeOf [T2]会返回false？