Scala如何允许使用类型参数而不是类型类重写

有没有想过为什么不支持方法2,或者我是否缺少任何语法?

trait Bar { }
class BarImpl extends Bar{ }

1 Scala允许使用泛型类型参数进行重写

abstract class Foo {
  type T <: Bar
  def bar1(f: T): Boolean
}

class FooImpl extends Foo {
  type T = BarImpl
  override def bar1(f: BarImpl): Boolean = true 
}

2虽然它不允许使用泛型类型类

abstract class Foo2[T <: Bar] {
  def bar1(f: T): Boolean
}

class FooImpl2[BarImpl] extends Foo2 {
  // Error: Method bar1 overrides nothing
  override def bar1(f: BarImpl): Boolean = true
}