On Borrow Checking

[Timon Gehr]

On 5/11/25 01:40, Walter Bright wrote:
> 
>> No multiple output support, which severely limits its capabilities.
> 
> It does not severely limit it. Even the Rust manual says it's a rare 
> case.

Well, it's common enough to need type system support. Support for 
multiple indirections is also important. Rust actually provides both of 
these.

> It's a minor inconvenience that can be refactored away.

In general you'll have to resort to `@system` code, and it will stand in 
the way of other refactorings you may want to do.

Anyway, I don't think this is a theoretical issue anymore, even though 
my perspective was the same when we first discussed this. AFAIU, real 
industry users have already found DIP1000 to be lacking because of its 
lack of compositionality.