将特征限制在对象上？

有没有办法限制一个特征，使其只能混合到对象中？例如。

trait OnlyForObjects {
  this: ... =>
}

object Foo extends OnlyForObjects  // --> OK

class Bar extends OnlyForObjects   // --> compile error

是的！有一些晦涩难懂且大多没有记录的scala.Singleton:

scala> trait OnlyForObjects { this: Singleton => }
defined trait OnlyForObjects

scala> object Foo extends OnlyForObjects
defined module Foo

scala> class Bar extends OnlyForObjects
<console>:15: error: illegal inheritance;
 self-type Bar does not conform to OnlyForObjects's selftype OnlyForObjects
 with Singleton
       class Bar extends OnlyForObjects
                         ^

文中多次提到语言规范 http://www.scala-lang.org/docu/files/ScalaReference.pdf，但甚至没有出现在 API 文档中。