Rikki's Borrow Checker

[monkyyy]

On Thursday, 27 August 2026 at 21:37:08 UTC, Richard (Rikki) 
Andrew Cattermole wrote:
> On 28/08/2026 9:30 AM, monkyyy wrote:
>> On Thursday, 27 August 2026 at 20:35:04 UTC, Walter Bright 
>> wrote:
>>> https://github.com/dlang/dmd/pull/23572
>>>
>>> Give it a whirl, and let us know what you think!
>> 
>> ...
>> 
>> Your merging ai generated borrow checkers but shipping a data 
>> structure was a bridge to far?
>
> Lol, the borrow checker as a feature requires escape analysis.
>
> Escape analysis was a massive PR compared. That was all written 
> by me without LLM assistance.
>
> The LLM solved a very hard problem, a many to many, which I was 
> getting mentally blocked on.
>
> As for data structures, it'll be part of PhobosV3, thanks to 
> DIP1000 dieing they are now unblocked. PhobosV2 is now 
> basically at scope in terms of modules.

https://forum.dlang.org/post/uyjbqvfoxfzhzwsacqhq@forum.dlang.org

by all means, throw this formally specified, fancy, data 
structure at an ai to make it follow the phoboes anti-style