The borrow checker is Cyclone's region-based memory management combined with linear/affine types. Edit: As an aside, I found a Reddit post the other day assert

The borrow checker is Cyclone's region-based memory management combined with linear/affine types. Edit: As an aside, I found a Reddit post the other day asserting that the Cyclone developers knew that it would never become mainstream but thought it was important because other languages would adopt it's ideas. It's amazing that they predicted that regions would be picked up later on by Rust. You can find it here: https://twitter.com/tmccrmck/status/850465514807631872 https://twitter.com/tmccrmck/status/850465514807631872