tests/ui/repeat-expr/zero_diverging_consts.rs

// Check that repeating a diverging constant 0 times doesn't lead to unsoundness.
//
// Issue: <https://github.com/rust-lang/rust/issues/165323>

fn ex_nihilo() -> u32 {
    //~^ error: mismatched types
    [const { panic!() } as !; 0];
}

fn main() {
    dbg!(ex_nihilo());
}