tests/ui/traits/next-solver/float-canonical.rs

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

fn foo(x: f64) {
    let y = x + 1.0;
}

fn main() {}