On Borrow Checking

[Walter Bright]

On 5/17/2025 7:03 AM, Richard (Rikki) Andrew Cattermole wrote:
>> Why is safe ref counting not feasible with D?
> 
> Because we don't have a borrow checker.
> 
> Any kind of pointer originating from the ``this`` pointer of a RC type, must not 
> outlive the RC owner.
> 
> A borrow checker guarantees that the RC owner will not be modified and will 
> outlive the borrow.

Yes.