From 22675cd8dc75d8b8d4b0f818f5b093efbc364802 Mon Sep 17 00:00:00 2001 From: Jasper Ras Date: Fri, 8 Aug 2025 22:44:15 +0200 Subject: vault backup: 2025-08-08 22:44:15 --- Pointer safety principle.md | 5 ----- 1 file changed, 5 deletions(-) (limited to 'Pointer safety principle.md') diff --git a/Pointer safety principle.md b/Pointer safety principle.md index d47520c..45c0f5c 100644 --- a/Pointer safety principle.md +++ b/Pointer safety principle.md @@ -1,8 +1,3 @@ -[[Rust principles]] -[[Borrow checker]] - ---- - Data should never be aliased and mutated at the same time. Boxes are not allowed to be aliased. References are meant to be aliased: the pointer safety principle is ensured via the borrow checker. \ No newline at end of file -- cgit v1.2.3