diff options
| -rw-r--r-- | compiler/rustc_lint_defs/src/builtin.rs | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/compiler/rustc_lint_defs/src/builtin.rs b/compiler/rustc_lint_defs/src/builtin.rs index 848906e29d5..33cb35e60eb 100644 --- a/compiler/rustc_lint_defs/src/builtin.rs +++ b/compiler/rustc_lint_defs/src/builtin.rs @@ -1026,10 +1026,11 @@ declare_lint! { /// ### Example /// /// ```rust,compile_fail + /// #![feature(const_ptr_read)] /// const FOO: () = unsafe { - /// let x = [0_u8; 10]; - /// let y = x.as_ptr() as *const u32; - /// *y; // the address of a `u8` array is unknown and thus we don't know if + /// let x = &[0_u8; 4]; + /// let y = x.as_ptr().cast::<u32>(); + /// y.read(); // the address of a `u8` array is unknown and thus we don't know if /// // it is aligned enough for reading a `u32`. /// }; /// ``` |