scala - ユーザーは Scala のメソッドで [Type] を提供する必要がありますか?

Question

次の行に沿って何かを書く場合：

class A

class B {
  def add[T <: A]() = { ... }
}

次に、ユーザーが呼び出すときにタイプを提供するようにユーザーに要求するにはどうすればよいですか? これら 2 つの呼び出しは次のようにコンパイルされます。TB.add

class C extends A

class D extends A {
  val b = new B
  b.add()      // 1.
  b.add[C]()   // 2.
}

1.をデフォルトにするのではなく、コンパイル時エラーを生成したいと思いますb.add[D]()。

それは可能ですか？