diff options
| author | Ralf Jung <post@ralfj.de> | 2018-06-09 10:40:51 +0200 |
|---|---|---|
| committer | Ralf Jung <post@ralfj.de> | 2018-06-09 10:40:51 +0200 |
| commit | 426f06f8fea9783a63aa61b418ab0ecb723a5ad9 (patch) | |
| tree | 38a53cfd0321aab478f882f134edee8b407a99d4 | |
| parent | 579099ab5788ef839d784365c1d3724b8391c074 (diff) | |
| download | rust-426f06f8fea9783a63aa61b418ab0ecb723a5ad9.tar.gz rust-426f06f8fea9783a63aa61b418ab0ecb723a5ad9.zip | |
Be more precise about why references need to be non-null and aligned
| -rw-r--r-- | src/libcore/slice/mod.rs | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/libcore/slice/mod.rs b/src/libcore/slice/mod.rs index bfab7a4cdda..6f4c130d8f3 100644 --- a/src/libcore/slice/mod.rs +++ b/src/libcore/slice/mod.rs @@ -3873,7 +3873,7 @@ unsafe impl<'a, T> TrustedRandomAccess for ExactChunksMut<'a, T> { /// valid for `len` elements, nor whether the lifetime inferred is a suitable /// lifetime for the returned slice. /// -/// `data` must be non-null and aligned, even for zero-length slices. The +/// `data` must be non-null and aligned, even for zero-length slices. One /// reason for this is that enum layout optimizations may rely on references /// (including slices of any length) being aligned and non-null to distinguish /// them from other data. You can obtain a pointer that is usable as `data` |
