Borrow Checker

202307221748
Status: #idea
Tags: Rust

Variables have 3 kinds of permissions:
1. Read: Data can be copied to another location
2. Write: Data can be mutated in-place
3. Own: Data can be moved or dropped
By default a variable has $RO$ permissions on its data.
They mut keyword gives a variable $ROW$ permissions
A reference can temporarily remove these permissions

Info

Immutable references permit aliasing but NOT mutation.

Attention

Rust references have a lifetime from its birth (when it is created) to its death (the last time the reference is used)

References