相关疑难解决方法(0)

我在Scala语言规范(3.2.10存在类型)中遇到了关于值的存在量化.

x: y.Inner forSome{val y : Outer}

有人有说明性的用例吗？

T forSome {val x: S}被定义为T forSome { type t <: S with Singleton }.Singletron特性在规范(3.2.1单例类型)中提到,但我在Scaladoc中找不到它.它在哪里定义？