Rikki's Borrow Checker

[Richard (Rikki) Andrew Cattermole]

On 30/08/2026 6:14 PM, xoxorwr wrote:
> Precisely. If it can already be expressed cleanly as with existing D 
> constructs, why bother making it a language feature to begin with? And 
> if does become a language feature, it should integrate with |switch|, 
> bnot introduce a second mechanism.

It cannot be expressed cleanly with existing D constructs.

I.e. by-ref parameters in the handlers cannot be made safe.

And all those extra function calls are not the cheapest thing, its 
overhead that can be eliminated.