defaultvalue and enclosing instances

[John Rose]

On Sep 14, 2018, at 11:17 AM, Victor Nazarov <asviraspossible at gmail.com> 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