On Thursday, 15 August 2024 at 13:12:27 UTC, Manu wrote:
> and it was approved and promptly implemented.

The DIP wasn't approved. It wasn't finished and never even
entered the draft review stage. It's a GitHub gist:
https://gist.github.com/andralex/e5405a5d773f07f73196c05f8339435a

And was implemented under the guise of:

> Although the DIP isn't finished yet, we can try out the ideas.

https://github.com/dlang/dmd/pull/9817