src/tools/clippy/tests/ui/range_contains.rs

#![warn(clippy::manual_range_contains)]
#![expect(clippy::impossible_comparisons, clippy::no_effect)]
#![allow(
    clippy::redundant_comparisons,
    clippy::short_circuit_statement,
    clippy::unnecessary_operation
)]

fn main() {
    let x = 9_i32;

    // order shouldn't matter
    x >= 8 && x < 12;
    //~^ manual_range_contains
    x < 42 && x >= 21;
    //~^ manual_range_contains
    100 > x && 1 <= x;
    //~^ manual_range_contains

    // also with inclusive ranges
    x >= 9 && x <= 99;
    //~^ manual_range_contains
    x <= 33 && x >= 1;
    //~^ manual_range_contains
    999 >= x && 1 <= x;
    //~^ manual_range_contains

    // and the outside
    x < 8 || x >= 12;
    //~^ manual_range_contains
    x >= 42 || x < 21;
    //~^ manual_range_contains
    100 <= x || 1 > x;
    //~^ manual_range_contains

    // also with the outside of inclusive ranges
    x < 9 || x > 99;
    //~^ manual_range_contains
    x > 33 || x < 1;
    //~^ manual_range_contains
    999 < x || 1 > x;
    //~^ manual_range_contains

    // not a range.contains
    x > 8 && x < 12; // lower bound not inclusive
    x < 8 && x <= 12; // same direction
    x >= 12 && 12 >= x; // same bounds
    x < 8 && x > 12; // wrong direction

    x <= 8 || x >= 12;
    x >= 8 || x >= 12;
    x < 12 || 12 < x;
    x >= 8 || x <= 12;

    // Fix #6315
    let y = 3.;
    y >= 0. && y < 1.;
    //~^ manual_range_contains
    y < 0. || y > 1.; // no lint: float `||` differs in NaN handling (fix #16706)

    // handle negatives #8721
    x >= -10 && x <= 10;
    //~^ manual_range_contains
    x >= 10 && x <= -10;
    y >= -3. && y <= 3.;
    //~^ manual_range_contains
    y >= 3. && y <= -3.;

    // Fix #8745
    let z = 42;
    (x >= 0) && (x <= 10) && (z >= 0) && (z <= 10);
    //~^ manual_range_contains
    //~| manual_range_contains
    (x < 0) || (x >= 10) || (z < 0) || (z >= 10);
    //~^ manual_range_contains
    //~| manual_range_contains
    // Make sure operators in parens don't give a breaking suggestion
    ((x % 2 == 0) || (x < 0)) || (x >= 10);
}

// Fix #6373
pub const fn in_range(a: i32) -> bool {
    3 <= a && a <= 20
}

#[clippy::msrv = "1.34"]
fn msrv_1_34() {
    let x = 5;
    x >= 8 && x < 34;
}

#[clippy::msrv = "1.35"]
fn msrv_1_35() {
    let x = 5;
    x >= 8 && x < 35;
    //~^ manual_range_contains
}

// Fix #16706
fn float_nan_no_lint() {
    let q = 0.5_f64;
    // these still lint — float && (in-range) is fine, NaN semantics match
    q >= 0.0 && q < 1.0;
    //~^ manual_range_contains
    q >= 0.0 && q <= 1.0;
    //~^ manual_range_contains

    // these do NOT lint — float || (out-of-range) NaN semantics differ
    q < 0.0 || q > 1.0; // no lint
    q < 0.0 || q >= 1.0; // no lint

    let r = 0.5_f32;
    r >= 0.0 && r < 1.0;
    //~^ manual_range_contains

    r < 0.0 || r > 1.0; // no lint
}