tests/ui/invalid_upcast_comparisons.rs

   1 // Copyright 2014-2018 The Rust Project Developers. See the COPYRIGHT
   2 // file at the top-level directory of this distribution.
   3 //
   4 // Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
   5 // http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
   6 // <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
   7 // option. This file may not be copied, modified, or distributed
   8 // except according to those terms.
   9
  10 #![warn(clippy::invalid_upcast_comparisons)]
  11 #![allow(
  12     unused,
  13     clippy::eq_op,
  14     clippy::no_effect,
  15     clippy::unnecessary_operation,
  16     clippy::cast_lossless
  17 )]
  18
  19 fn mk_value<T>() -> T {
  20     unimplemented!()
  21 }
  22
  23 fn main() {
  24     let u32: u32 = mk_value();
  25     let u8: u8 = mk_value();
  26     let i32: i32 = mk_value();
  27     let i8: i8 = mk_value();
  28
  29     // always false, since no u8 can be > 300
  30     (u8 as u32) > 300;
  31     (u8 as i32) > 300;
  32     (u8 as u32) == 300;
  33     (u8 as i32) == 300;
  34     300 < (u8 as u32);
  35     300 < (u8 as i32);
  36     300 == (u8 as u32);
  37     300 == (u8 as i32);
  38     // inverted of the above
  39     (u8 as u32) <= 300;
  40     (u8 as i32) <= 300;
  41     (u8 as u32) != 300;
  42     (u8 as i32) != 300;
  43     300 >= (u8 as u32);
  44     300 >= (u8 as i32);
  45     300 != (u8 as u32);
  46     300 != (u8 as i32);
  47
  48     // always false, since u8 -> i32 doesn't wrap
  49     (u8 as i32) < 0;
  50     -5 != (u8 as i32);
  51     // inverted of the above
  52     (u8 as i32) >= 0;
  53     -5 == (u8 as i32);
  54
  55     // always false, since no u8 can be 1337
  56     1337 == (u8 as i32);
  57     1337 == (u8 as u32);
  58     // inverted of the above
  59     1337 != (u8 as i32);
  60     1337 != (u8 as u32);
  61
  62     // Those are Ok:
  63     (u8 as u32) > 20;
  64     42 == (u8 as i32);
  65     42 != (u8 as i32);
  66     42 > (u8 as i32);
  67     (u8 as i32) == 42;
  68     (u8 as i32) != 42;
  69     (u8 as i32) > 42;
  70     (u8 as i32) < 42;
  71
  72     (u8 as i8) == -1;
  73     (u8 as i8) != -1;
  74     (u8 as i32) > -1;
  75     (u8 as i32) < -1;
  76     (u32 as i32) < -5;
  77     (u32 as i32) < 10;
  78
  79     (i8 as u8) == 1;
  80     (i8 as u8) != 1;
  81     (i8 as u8) < 1;
  82     (i8 as u8) > 1;
  83     (i32 as u32) < 5;
  84     (i32 as u32) < 10;
  85
  86     -5 < (u32 as i32);
  87     0 <= (u32 as i32);
  88     0 < (u32 as i32);
  89
  90     -5 > (u32 as i32);
  91     -5 >= (u8 as i32);
  92
  93     -5 == (u32 as i32);
  94 }