Comment by maufl

How likely is it that such a borrow checker could be "backported" to Rust? Maybe in a new edition?