1 fn illegal_cast<U:?Sized,V:?Sized>(u: *const U) -> *const V
3 u as *const V //~ ERROR is invalid
6 fn illegal_cast_2<U:?Sized>(u: *const U) -> *const str
8 u as *const str //~ ERROR is invalid
11 trait Foo { fn foo(&self) {} }
14 trait Bar { fn foo(&self) {} }
24 let v = core::ptr::null::<u8>();
25 let fat_v : *const [u8] = unsafe { &*core::ptr::null::<[u8; 1]>()};
26 let fat_sv : *const [i8] = unsafe { &*core::ptr::null::<[i8; 1]>()};
27 let foo: &dyn Foo = &f;
29 let _ = v as &u8; //~ ERROR non-primitive cast
30 let _ = v as E; //~ ERROR non-primitive cast
31 let _ = v as fn(); //~ ERROR non-primitive cast
32 let _ = v as (u32,); //~ ERROR non-primitive cast
33 let _ = Some(&v) as *const u8; //~ ERROR non-primitive cast
35 let _ = v as f32; //~ ERROR is invalid
36 let _ = main as f64; //~ ERROR is invalid
37 let _ = &v as usize; //~ ERROR is invalid
38 let _ = f as *const u8; //~ ERROR is invalid
39 let _ = 3_i32 as bool; //~ ERROR cannot cast
40 let _ = E::A as bool; //~ ERROR cannot cast
41 let _ = 0x61u32 as char; //~ ERROR can be cast as
43 let _ = false as f32; //~ ERROR is invalid
44 let _ = E::A as f32; //~ ERROR is invalid
45 let _ = 'a' as f32; //~ ERROR is invalid
47 let _ = false as *const u8; //~ ERROR is invalid
48 let _ = E::A as *const u8; //~ ERROR is invalid
49 let _ = 'a' as *const u8; //~ ERROR is invalid
51 let _ = 42usize as *const [u8]; //~ ERROR is invalid
52 let _ = v as *const [u8]; //~ ERROR cannot cast
53 let _ = fat_v as *const dyn Foo; //~ ERROR the size for values of type
54 let _ = foo as *const str; //~ ERROR is invalid
55 let _ = foo as *mut str; //~ ERROR is invalid
56 let _ = main as *mut str; //~ ERROR is invalid
57 let _ = &f as *mut f32; //~ ERROR is invalid
58 let _ = &f as *const f64; //~ ERROR is invalid
59 let _ = fat_sv as usize; //~ ERROR is invalid
61 let a : *const str = "hello";
62 let _ = a as *const dyn Foo; //~ ERROR the size for values of type
64 // check no error cascade
65 let _ = main.f as *const u32; //~ ERROR no field
67 let cf: *const dyn Foo = &0;
68 let _ = cf as *const [u16]; //~ ERROR is invalid
69 let _ = cf as *const dyn Bar; //~ ERROR is invalid
71 vec![0.0].iter().map(|s| s as f32).collect::<Vec<f32>>(); //~ ERROR is invalid