Would the ownership model make D lang as complicated as Rust?

[Ola Fosheim Grøstad]

On Monday, 16 November 2020 at 22:39:14 UTC, Piotrek wrote:
> And according to my (limited) academic knowledge, complete
> compile time automatic memory management isn't simply possible.
> (You have to use hacks like weak refs and other not fancy 
> staff).

In the general case no, because then the compiler would have to 
predict all relevant execution patterns.

If you can deduce/impose an invariant order then it could, in 
theory.