defaultvalue and enclosing instances

John Rose john.r.rose at
Fri Sep 14 23:55:00 UTC 2018

On Sep 14, 2018, at 11:17 AM, Victor Nazarov <asviraspossible at> wrote:
> But this means that you can't use enclosed value type instances. The whole point of enclosed instances is guarateed presence of enclosing instance. Then why not to forbid enclosed value type instances altogeather in compiler and class-file verifier?

Why not forbid something that cannot perfectly implement its design principles?
Well, one reason is that it's still darn useful even if its imperfect.
— John

More information about the valhalla-dev mailing list