bjoernager/rust
bjoernager/rust
1
Fork 0
Code Activity

Make the test actually emit the future incompat lint

Browse source
This commit is contained in:
Oli Scherer 2022-11-23 14:41:06 +00:00
parent 5a06b1e67c
commit 2d89027fac
1 changed files with 4 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

7
compiler/rustc_lint_defs/src/builtin.rs
View file

@ -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`.
/// };
/// ```