//@ run-pass
//@ pretty-expanded FIXME #23616
pub fn main() {
const S: usize = 23 as usize; [0; S]; ()
}