// error-pattern: non-primitive cast: `u32` as `()`
fn main() { let u = 0u32 as (); }