Is scala.Singleton pure compiler fiction?

Question

The Scala Language Specification says under §3.2.1:

A stable type is either a singleton type or a type which is declared to be a subtype of trait

Answer 1

Finally found something on this:

The type Singleton is essentially an encoding trick for existentials with values. I.e.

T forSome { val x: T } 

is turned into

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

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