//@ check-pass
//@ edition: 2024
//
// Check that we don't warn on `as` casts of never to any as unreachable.
// While they *are* unreachable, sometimes they are required to appeal typeck.
#![deny(unreachable_code)]

fn a() {
    _ = {return} as u32;
}

fn b() {
    (return) as u32;
}

// example that needs an explicit never-to-any `as` cast
fn example() -> impl Iterator<Item = u8> {
    todo!() as std::iter::Empty<_>
}

fn main() {}