Является ли scala.Singleton чистой вымыслом компилятора?

Спецификация языка Scala говорит в §3.2.1:

Стабильный тип - это либо singleton Чистая выдумка компилятора синглтона? Спецификация языка Scala говорит в §3.2.1: Стабильный тип - это либо одиночный тип, либо тип, который объявлен как подтип признака scala.Singleton. Я не смог найти scala ....

Спецификация языка Scala говорит в §3.2.1:

Стабильный тип - это либо синглтон. Чистая выдумка компилятора синглтона? Спецификация языка Scala говорит в §3.2.1: Стабильный тип - это либо одиночный тип, либо тип, который объявлен как подтип признака scala.Singleton. Я не смог найти scala ....

Спецификация языка Scala говорит в §3.2.1:

Стабильный тип - это либо singleton тип или тип, который объявлен подтип признака scala.Singleton.

Я не смог найти scala.Singleton ни в исходниках, ни в ScalaDoc, ни в двоичном файле jar.

Примерка REPL приводит к:

scala> class Foo extends Singleton
:9: error: illegal inheritance from final trait Singleton
       class Foo extends Singleton
                         ^
:9: error: illegal inheritance; superclass Any
 is not a subclass of the superclass Object
 of the mixin trait ScalaObject
       class Foo extends Singleton
                 ^

Где находится scala.Singelton и каково его назначение?