diff options
| author | bors <bors@rust-lang.org> | 2016-02-29 05:03:32 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2016-02-29 05:03:32 +0000 |
| commit | 776a0f2ceed44bad8c319657202208550896ac98 (patch) | |
| tree | 2230a320f0823c9109cdb5d61794e449163738fb /src/doc | |
| parent | 953f6c9cc9deceaabb71df8dcb879b104b0c8fb4 (diff) | |
| parent | 246401367d373408922a6609b46cc56c60e0a795 (diff) | |
Auto merge of #31960 - aidanhs:aphs-tweak-aliasing-docs, r=Manishearth
See https://doc.rust-lang.org/book/unsafe.html#what-does-safe-mean for the book version of these points which already contain the T.
Diffstat (limited to 'src/doc')
| -rw-r--r-- | src/doc/reference.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/doc/reference.md b/src/doc/reference.md index 913cfcff104..c2d1fedf6d2 100644 --- a/src/doc/reference.md +++ b/src/doc/reference.md @@ -4065,7 +4065,7 @@ the guarantee that these issues are never caused by safe code. * Breaking the [pointer aliasing rules](http://llvm.org/docs/LangRef.html#pointer-aliasing-rules) with raw pointers (a subset of the rules used by C) -* `&mut` and `&` follow LLVM’s scoped [noalias] model, except if the `&T` +* `&mut T` and `&T` follow LLVM’s scoped [noalias] model, except if the `&T` contains an `UnsafeCell<U>`. Unsafe code must not violate these aliasing guarantees. * Mutating non-mutable data (that is, data reached through a shared reference or |