On 02/19/2016 05:36 PM, Peter Levart wrote: > Yes, I understand the general principle of @Stable design and the role > of default value in @Stable fields. But given that: > > But never mind. This is just me thinking loud.
Sure. The answer to those questions about @Stable is, as always: it works like that; it was never supposed to do more than it does right now; the time spent dealing with @Stable is better spent dealing with generic problem of trusting final fields, without VM internal annotations. @Stable paves the way in VM internals for that, but it does not mean it should be catch-all feature. -Aleksey