3 // Make sure casts between thin-pointer <-> fat pointer obey RFC401
5 let a: &[i32] = &[1, 2, 3];
6 let b: Box<[i32]> = Box::new([1, 2, 3]);
7 let p = a as *const [i32];
10 a as usize; //~ ERROR casting
11 a as isize; //~ ERROR casting
12 a as i16; //~ ERROR casting `&[i32]` as `i16` is invalid
13 a as u32; //~ ERROR casting `&[i32]` as `u32` is invalid
14 b as usize; //~ ERROR non-primitive cast
19 q as *const [i32]; //~ ERROR cannot cast
22 let t: *mut (dyn Trait + 'static) = 0 as *mut _; //~ ERROR casting
23 let mut fail: *const str = 0 as *const str; //~ ERROR casting