float init 0 request

[GB]

On Sunday, 23 August 2026 at 23:31:23 UTC, Richard (Rikki) Andrew 
Cattermole wrote:
> ..
> ...
> TLDR: what you are wanting isn't that hard to implement, but is 
> unlikely to be accepted by the D community.

It sounds like a potentially useful feature, but it's not really 
something 'I want'. I just offered it as a possible solution to 
those debating the issues in this thread.

As for Fast DFA:

As I understand it, the existing entry architecture intentionally 
separates analysis from reporting.

So the question would be how to get it to change the treatment of 
@mustAssign from "don't report" to "diagnose."

Most of the existing machinery needed seems to already be in 
place.

I expect with not to much work, the Fast DFA expression 
walker/reporter could easily be modified to handle @mustAssign 
(should the feature ever be seriously considered).