From 295b343aecf330e830d79f06e0efc511e7d76da1 Mon Sep 17 00:00:00 2001 From: Jasper Ras Date: Tue, 5 Aug 2025 08:53:21 +0200 Subject: vault backup: 2025-08-05 08:53:21 --- Mutable references are safe because they prevent aliasing.md | 7 +++++++ 1 file changed, 7 insertions(+) create mode 100644 Mutable references are safe because they prevent aliasing.md (limited to 'Mutable references are safe because they prevent aliasing.md') 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 -- cgit v1.2.3