I think I'm going to implement a feature gate to require explicit initialization. It would be better to be strict up front and relax it as flow control analysis becomes more mature.
Well, I implemented it (https://github.com/dlang/dmd/pull/7375), but it's off to a pretty rocky start.
Mike