]> git.proxmox.com Git - rustc.git/blame - src/test/compile-fail/lint-type-limits.rs
Imported Upstream version 1.9.0+dfsg1
[rustc.git] / src / test / compile-fail / lint-type-limits.rs
CommitLineData
223e47cc
LB
1// Copyright 2012 The Rust Project Developers. See the COPYRIGHT
2// file at the top-level directory of this distribution and at
3// http://rust-lang.org/COPYRIGHT.
4//
5// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
6// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
7// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
8// option. This file may not be copied, modified, or distributed
9// except according to those terms.
10
1a4d82fc
JJ
11#![allow(dead_code)]
12
85aaf69f 13// compile-flags: -D unused-comparisons
223e47cc
LB
14fn main() { }
15
16fn foo() {
85aaf69f 17 let mut i = 100_usize;
223e47cc
LB
18 while i >= 0 { //~ ERROR comparison is useless due to type limits
19 i -= 1;
20 }
21}
22
23fn bar() -> i8 {
24 return 123;
25}
26
1a4d82fc
JJ
27fn bleh() {
28 let u = 42u8;
29 let _ = u > 255; //~ ERROR comparison is useless due to type limits
30 let _ = 255 < u; //~ ERROR comparison is useless due to type limits
31 let _ = u < 0; //~ ERROR comparison is useless due to type limits
32 let _ = 0 > u; //~ ERROR comparison is useless due to type limits
33 let _ = u <= 255; //~ ERROR comparison is useless due to type limits
34 let _ = 255 >= u; //~ ERROR comparison is useless due to type limits
35 let _ = u >= 0; //~ ERROR comparison is useless due to type limits
36 let _ = 0 <= u; //~ ERROR comparison is useless due to type limits
223e47cc 37}