Vision for the D language - stabilizing complexity?

[Jacob Carlborg via Digitalmars-d]

On 2016-07-17 05:35, Andrew Godfrey wrote:

> No it's not the same - void initialization leaves the variable
> uninitialized. I'm saying, something that still initialized, but marks
> that initial value as not to be used. Anyway... given the existence of
> void initialization (which I'd forgotten about), what I suggested would
> be very confusing to add.

I think annotating a variable with a UDA would be perfect for this. The 
static analyzer would recognize the UDA and do the proper analyzes.

-- 
/Jacob Carlborg