A new way to think about borrow checking (in reverse)

The article proposes a new approach to borrow checking, a feature in Rust programming language, by inverting the concept. Instead of checking for borrowing, the approach checks for the absence of borrowing. This is done by using a new type, called 'NoBorrow' which is a marker type that indicates that a value is not borrowed. The author argues that this approach can simplify the borrow checker and make it more efficient.