¿Scala.Singleton es pura ficción de compilación?

Question

El Scala Language Specification dice bajo §3.2.1:

Un tipo estable es o bien un tipo singleton o de un tipo que se declara a ser un subtipo de scala.Singleton rasgo.

No pude encontrar scala.Singleton ni en las fuentes, en ScalaDoc ni en el archivo jar binario.

intentar en los resultados en REPL:

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

dónde viene scala.Singelton vivo y lo que es su propósito?

Answer 1

encontrado por fin algo en esto:

El tipo Singleton es esencialmente un truco codificación para los existenciales con valores. Es decir.

T forSome { val x: T } 

es convertido en

[x.type := X] T forSome { type X <:T with Singleton } 

Fuente: http://scala-programming-language.1934581.n4.nabble.com/scala-Singleton-td1940630.html