// { dg-additional-options "-w" }
fn write_u8(i: u8) {
    let x: &[u8] = &[i];
}