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
  11 #![feature(tool_lints)]
  12
  13
  14 #![warn(clippy::invalid_upcast_comparisons)]
  15 #![allow(unused, clippy::eq_op, clippy::no_effect, clippy::unnecessary_operation, clippy::cast_lossless)]
  16
  17 fn mk_value<T>() -> T { unimplemented!() }
  18
  19 fn main() {
  20     let u32: u32 = mk_value();
  21     let u8: u8 = mk_value();
  22     let i32: i32 = mk_value();
  23     let i8: i8 = mk_value();
  24
  25     // always false, since no u8 can be > 300
  26     (u8 as u32) > 300;
  27     (u8 as i32) > 300;
  28     (u8 as u32) == 300;
  29     (u8 as i32) == 300;
  30     300 < (u8 as u32);
  31     300 < (u8 as i32);
  32     300 == (u8 as u32);
  33     300 == (u8 as i32);
  34     // inverted of the above
  35     (u8 as u32) <= 300;
  36     (u8 as i32) <= 300;
  37     (u8 as u32) != 300;
  38     (u8 as i32) != 300;
  39     300 >= (u8 as u32);
  40     300 >= (u8 as i32);
  41     300 != (u8 as u32);
  42     300 != (u8 as i32);
  43
  44     // always false, since u8 -> i32 doesn't wrap
  45     (u8 as i32) < 0;
  46     -5 != (u8 as i32);
  47     // inverted of the above
  48     (u8 as i32) >= 0;
  49     -5 == (u8 as i32);
  50
  51     // always false, since no u8 can be 1337
  52     1337 == (u8 as i32);
  53     1337 == (u8 as u32);
  54     // inverted of the above
  55     1337 != (u8 as i32);
  56     1337 != (u8 as u32);
  57
  58
  59     // Those are Ok:
  60     (u8 as u32) > 20;
  61     42 == (u8 as i32);
  62     42 != (u8 as i32);
  63     42 > (u8 as i32);
  64     (u8 as i32) == 42;
  65     (u8 as i32) != 42;
  66     (u8 as i32) > 42;
  67     (u8 as i32) < 42;
  68
  69     (u8 as i8) == -1;
  70     (u8 as i8) != -1;
  71     (u8 as i32) > -1;
  72     (u8 as i32) < -1;
  73     (u32 as i32) < -5;
  74     (u32 as i32) < 10;
  75
  76     (i8 as u8) == 1;
  77     (i8 as u8) != 1;
  78     (i8 as u8) < 1;
  79     (i8 as u8) > 1;
  80     (i32 as u32) < 5;
  81     (i32 as u32) < 10;
  82
  83     -5 < (u32 as i32);
  84     0 <= (u32 as i32);
  85     0 < (u32 as i32);
  86
  87     -5 > (u32 as i32);
  88     -5 >= (u8 as i32);
  89
  90     -5 == (u32 as i32);
  91 }