diff options
| author | Urgau <urgau@numericable.fr> | 2023-12-13 14:40:19 +0100 |
|---|---|---|
| committer | Urgau <urgau@numericable.fr> | 2024-02-12 19:40:17 +0100 |
| commit | 915200fbe077786370bf40aac30aae36dd0ff71b (patch) | |
| tree | c199dfa408d5b77645f0d01e4f2c0a96c1af30a0 /tests/ui/cast | |
| parent | bdc15928c8119a86d15e2946cb54851264607842 (diff) | |
| download | rust-915200fbe077786370bf40aac30aae36dd0ff71b.tar.gz rust-915200fbe077786370bf40aac30aae36dd0ff71b.zip | |
Lint on reference casting to bigger underlying allocation
Diffstat (limited to 'tests/ui/cast')
| -rw-r--r-- | tests/ui/cast/cast-rfc0401.rs | 12 |
1 files changed, 6 insertions, 6 deletions
diff --git a/tests/ui/cast/cast-rfc0401.rs b/tests/ui/cast/cast-rfc0401.rs index 9a987541615..424feeba0c4 100644 --- a/tests/ui/cast/cast-rfc0401.rs +++ b/tests/ui/cast/cast-rfc0401.rs @@ -81,14 +81,14 @@ fn main() assert_eq!(u as *const u16, p as *const u16); // ptr-ptr-cast (Length vtables) - let mut l : [u8; 2] = [0,1]; - let w: *mut [u16; 2] = &mut l as *mut [u8; 2] as *mut _; - let w: *mut [u16] = unsafe {&mut *w}; - let w_u8 : *const [u8] = w as *const [u8]; - assert_eq!(unsafe{&*w_u8}, &l); + let mut l : [u16; 2] = [0,1]; + let w: *mut [u8; 2] = &mut l as *mut [u16; 2] as *mut _; + let w: *mut [u8] = unsafe {&mut *w}; + let w_u16 : *const [u16] = w as *const [u16]; + assert_eq!(unsafe{&*w_u16}, &l); let s: *mut str = w as *mut str; - let l_via_str = unsafe{&*(s as *const [u8])}; + let l_via_str = unsafe{&*(s as *const [u16])}; assert_eq!(&l, l_via_str); // ptr-ptr-cast (Length vtables, check length is preserved) |
