nordic-dev.net/rust
nordic-dev.net/rust
2
0
Fork 0
mirror of https://github.com/rust-lang/rust.git synced 2025-04-16 14:07:04 +00:00
Code Issues Packages Projects Releases Wiki Activity

and some more tidy checks

Browse Source
This commit is contained in:
Maxim Nazarenko 2018-02-27 23:52:47 +02:00
parent ff6754c68e
commit 78789add6c
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/libcore/cell.rs
View File

@ -1168,12 +1168,12 @@ impl<'a, T: ?Sized + fmt::Display> fmt::Display for RefMut<'a, T> {
/// a mutable reference to its interior and/or to mutate the interior. However, the abstraction
/// designer must ensure that any active mutable references to the interior obtained this way does
/// not co-exist with other active references to the interior, either mutable or not. This is often
/// done via runtime checks. Naturally, several active immutable references to the interior can
/// done via runtime checks. Naturally, several active immutable references to the interior can
/// co-exits with each other (but not with a mutable reference).
///
/// To put it in other words, if a mutable reference to the contents is active, no other references
/// can be active at the same time, and if an immutable reference to the contents is active, then
/// only other immutable reference may be active.
/// only other immutable reference may be active.
///
/// Note that while mutating or mutably aliasing the contents of an `& UnsafeCell<T>` is
/// okay (provided you enforce the invariants some other way), it is still undefined behavior