Loop invariants

[Paul Backus]

On Friday, 27 September 2024 at 18:10:13 UTC, Quirin Schroll 
wrote:
> In spirit of [this issue 
> comment](https://issues.dlang.org/show_bug.cgi?id=9300#c4), but 
> here with better syntax.

According to the linked issue, this feature was proposed in the 
past, but was "discarded as being of negligible value." Unless 
you have some specific reason to think that loop invariants will 
be more useful to D programmers today than they were back then, 
this is probably not worth pursuing.