// run-pass
// pretty-expanded FIXME #23616

pub fn main() {
    const S: usize = 23 as usize; [0; S]; ()
}