// FIXME(f16_f128): add tests when constants are available

#![warn(clippy::cast_nan_to_int)]
#![allow(clippy::eq_op)]

fn main() {
    let _ = (0.0_f32 / -0.0) as usize;
    //~^ ERROR: casting a known NaN to usize
    //~| NOTE: this always evaluates to 0
    let _ = (f64::INFINITY * -0.0) as usize;
    //~^ ERROR: casting a known NaN to usize
    //~| NOTE: this always evaluates to 0
    let _ = (0.0 * f32::INFINITY) as usize;
    //~^ ERROR: casting a known NaN to usize
    //~| NOTE: this always evaluates to 0

    let _ = (f64::INFINITY + f64::NEG_INFINITY) as usize;
    //~^ ERROR: casting a known NaN to usize
    //~| NOTE: this always evaluates to 0
    let _ = (f32::INFINITY - f32::INFINITY) as usize;
    //~^ ERROR: casting a known NaN to usize
    //~| NOTE: this always evaluates to 0
    let _ = (f32::INFINITY / f32::NEG_INFINITY) as usize;
    //~^ ERROR: casting a known NaN to usize
    //~| NOTE: this always evaluates to 0

    // those won't be linted:
    let _ = (1.0_f32 / 0.0) as usize;
    let _ = (f32::INFINITY * f32::NEG_INFINITY) as usize;
    let _ = (f32::INFINITY - f32::NEG_INFINITY) as usize;
    let _ = (f64::INFINITY - 0.0) as usize;
}