object X extends Application
{

abstract class B
{
  // force derived classes to provide an implementation
  override def toString: String
}

// I would like a compiler error reporting that this class should be abstract
// I'm not sure what the language spec requires.
class D extends B
{
}

Console.println(new D().toString)

}