On 28/10/2025 1:39 AM, jmh530 wrote:
On Saturday, 25 October 2025 at 12:38:17 UTC, Richard (Rikki) Andrew
Cattermole wrote:
What a wonderful month, and that's after my fast DFA was merged!
I vaguely remember you talking about this before. What is the plan for
this?
My end goal is to get a borrow checker that is available (but opt-in per
variable), by default.
However before that can happen the DFA has to prove itself as being able
to be on by default, so no false positives.
Other features like preventing uninitalized memory reading is a maybe.
