diff options
Diffstat (limited to 'Mutable references are safe because they prevent aliasing.md')
| -rw-r--r-- | Mutable references are safe because they prevent aliasing.md | 7 |
1 files changed, 7 insertions, 0 deletions
diff --git a/Mutable references are safe because they prevent aliasing.md b/Mutable references are safe because they prevent aliasing.md new file mode 100644 index 0000000..bb837f7 --- /dev/null +++ b/Mutable references are safe because they prevent aliasing.md @@ -0,0 +1,7 @@ +[[Pointer safety principle]] +[[Aliasing is accessing the same data through different variables]] +[[Downgrading a mutable reference]] + +--- + +A reference that is mutable is created with `&mut` . They are safe because all permissions are dropped from the borrowed place so it can not be read while the reference exists. It is therefore not an alias.
\ No newline at end of file |