Aliasing XOR Mutability
At any point a value may have either any number of shared &T references or exactly one exclusive &mut T reference, never both. This single rule rules out data races and iterator invalidation at compile time.
This Concept is waiting for its first lesson!
At any point a value may have either any number of shared &T references or exactly one exclusive &mut T reference, never both. This single rule rules out data races and iterator invalidation at compile time.
Are you a teacher? Sign in to start contributing.
Sign In