примечание: первый пример работает. Это показывает, что я хочу получить. Второй пример показывает, что я хотел бы объявить это без образца, но не смог этого сделать.

Я просто хочу получить простую вещь:

trait SelfTest[T <: SelfTest[T]] {_ : T =>
  def get : T = this
}
class Test extends SelfTest[Test]
object Test extends Test

но без определения стандартного класса. Что-то вроде этого:

trait SelfTest[T <: SelfTest[T]] {_ : T =>
  def get : T = this
}
object Test extends SelfTest[Test.type]

Но этот путь отвергается скалой (illegal cyclic reference involving object Test). Есть ли волшебство, подобное# знак для обозначения созданного объекта?