On Monday, 5 May 2025 at 06:52:09 UTC, Dukc wrote: > [snip] > > You have to admit this makes our checker, as it currently > stands, unusable for what many of us consider the primary > purpose of a borrow checker. It might be helpful to example where Rust's version of some code let's you prove something is safe with the borrow checker, but D's version doesn't.