diff options
| author | Joshua Liebow-Feeser <joshlf@users.noreply.github.com> | 2024-05-11 12:08:19 -0700 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2024-05-11 12:08:19 -0700 |
| commit | 15df3d78e47466e651510d93ee36c0852ac4374e (patch) | |
| tree | 019684f4a8f802779a368e38afe84d2e8124d766 | |
| parent | 1cefaa7432f2b8ffe05d10889e2e6f9115e7c630 (diff) | |
References must also be non-null
| -rw-r--r-- | library/core/src/primitive_docs.rs | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/library/core/src/primitive_docs.rs b/library/core/src/primitive_docs.rs index 331067b8975..8283fdc459b 100644 --- a/library/core/src/primitive_docs.rs +++ b/library/core/src/primitive_docs.rs @@ -1467,6 +1467,7 @@ mod prim_usize {} /// For all types, `T: ?Sized`, and for all `t: &T` or `t: &mut T`, when such values cross an API /// boundary, the following invariants must generally be upheld: /// +/// * `t` is non-null /// * `t` is aligned to `align_of_val(t)` /// * if `size_of_val(t) > 0`, then `t` is dereferenceable for `size_of_val(t)` many bytes /// |