gcc/testsuite/rust/compile/issues/3924.rs

#![feature(no_core)]
#![no_core]

pub fn main() {
    const S: usize = 23 as i64;
    // { dg-error {mismatched types, expected .usize. but got .i64.} "" { target *-*-* } .-1 }
    [0; S];
    ()
}