src/test/ui/fat-ptr-cast.rs

   1 trait Trait {}
   2
   3 // Make sure casts between thin-pointer <-> fat pointer obey RFC401
   4 fn main() {
   5     let a: &[i32] = &[1, 2, 3];
   6     let b: Box<[i32]> = Box::new([1, 2, 3]);
   7     let p = a as *const [i32];
   8     let q = a.as_ptr();
   9
  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
  15     p as usize;
  16     //~^ ERROR casting
  17
  18     // #22955
  19     q as *const [i32]; //~ ERROR cannot cast
  20
  21     // #21397
  22     let t: *mut (Trait + 'static) = 0 as *mut _; //~ ERROR casting
  23     let mut fail: *const str = 0 as *const str; //~ ERROR casting
  24 }