btdu - a sampling disk usage profiler for btrfs (written in D)

Fri Nov 27 12:06:57 UTC 2020

On Friday, 27 November 2020 at 12:00:40 UTC, Ola Fosheim Grostad 
wrote:
> You can view ARC as a borrowchecker. If the ARC optimizer 
> succeeds globally then all acquire/release can be omitted for 
> that type (or that call graph path).
>
> The problem is interior pointers which would require fat 
> pointers or borrowchecker...
>
> But again you could rewrite those fat pointers if ARC 
> optimization is highly successful (if the code validates like 
> it would for a borrow

Sadly, templated types that depend on struct size and field 
offsets could be a problem for such rewrites... So the compiler 
would have to annotate structs with dependencies...