Scala 当涉及自类型时，为什么类型成员边界停止工作

假设我用自我类型定义了一些特征。特质和自我类型都有一个抽象类型的成员。trait中的self类型应该覆盖self类型中的抽象类型成员

trait Foo{
  type My
  def make:Seq[My]
}

trait Component {
  type My
}

trait Bar extends Foo { this:Component =>
  override type My <: StuffDoer

  def len = make.map(_.doStuff)

  class StuffDoer(str:String) {
    def doStuff = "blah"
  }
}

似乎

My

在

Bar

的内部不一定是

StuffDoer

类型，但为什么？

My

在

Bar

内部的确切界限是什么？

组件是否覆盖其类型边界

更奇怪的是，当我更改
覆盖类型My时，如果类
StuffDoer
有方法
doStuff
，那么所有子类都有方法，但不是所有子类型都有方法。例如
Nothing
和
Null
是
StuffDoer
的子类型，但您不能对
Nothing
或
Null
类型的变量
x
调用
doStuff

Error:(20, 24) value doStuff is not a member of Bar.this.My
    def len = make.map(_.doStuff)

override type My = StuffDoer