tests/ui/traits/next-solver/cast-checks-handling-projections.rs

//@ compile-flags: -Znext-solver
//@ check-pass

fn main() {
    (0u8 + 0u8) as char;
}