[rapsey]

Borrow checker is compile time. There is no reason to have multiple implementations.

[Myrmornis]

Yup, it's compile-time, and gives you run-time guarantees.