2018-10-06 16:18:06 +00:00
|
|
|
// Copyright 2014-2018 The Rust Project Developers. See the COPYRIGHT
|
|
|
|
// file at the top-level directory of this distribution.
|
|
|
|
//
|
|
|
|
// Licensed under the Apache License, Version 2.0 <LICENSE-APACHE or
|
|
|
|
// http://www.apache.org/licenses/LICENSE-2.0> or the MIT license
|
|
|
|
// <LICENSE-MIT or http://opensource.org/licenses/MIT>, at your
|
|
|
|
// option. This file may not be copied, modified, or distributed
|
|
|
|
// except according to those terms.
|
|
|
|
|
|
|
|
|
2018-10-11 10:16:22 +00:00
|
|
|
|
2017-09-18 10:47:33 +00:00
|
|
|
|
|
|
|
|
2018-07-28 15:34:52 +00:00
|
|
|
#![warn(clippy::integer_arithmetic, clippy::float_arithmetic)]
|
|
|
|
#![allow(unused, clippy::shadow_reuse, clippy::shadow_unrelated, clippy::no_effect, clippy::unnecessary_operation)]
|
2016-04-30 02:01:47 +00:00
|
|
|
fn main() {
|
|
|
|
let i = 1i32;
|
2017-02-08 13:58:07 +00:00
|
|
|
1 + i;
|
|
|
|
i * 2;
|
|
|
|
1 %
|
2016-04-30 15:11:59 +00:00
|
|
|
i / 2; // no error, this is part of the expression in the preceding line
|
2017-02-08 13:58:07 +00:00
|
|
|
i - 2 + 2 - i;
|
|
|
|
-i;
|
2016-05-13 14:43:47 +00:00
|
|
|
|
2016-04-30 02:01:47 +00:00
|
|
|
i & 1; // no wrapping
|
2016-05-13 14:43:47 +00:00
|
|
|
i | 1;
|
2016-04-30 02:01:47 +00:00
|
|
|
i ^ 1;
|
|
|
|
i >> 1;
|
|
|
|
i << 1;
|
2016-05-13 14:43:47 +00:00
|
|
|
|
2016-04-30 02:01:47 +00:00
|
|
|
let f = 1.0f32;
|
2016-05-13 14:43:47 +00:00
|
|
|
|
2017-02-08 13:58:07 +00:00
|
|
|
f * 2.0;
|
2016-05-13 14:43:47 +00:00
|
|
|
|
2017-02-08 13:58:07 +00:00
|
|
|
1.0 + f;
|
|
|
|
f * 2.0;
|
|
|
|
f / 2.0;
|
|
|
|
f - 2.0 * 4.2;
|
|
|
|
-f;
|
2018-10-18 04:20:36 +00:00
|
|
|
|
|
|
|
// No errors for the following items because they are constant expressions
|
|
|
|
enum Foo {
|
|
|
|
Bar = -2,
|
|
|
|
}
|
|
|
|
struct Baz([i32; 1 + 1]);
|
|
|
|
union Qux {
|
|
|
|
field: [i32; 1 + 1],
|
|
|
|
}
|
|
|
|
type Alias = [i32; 1 + 1];
|
|
|
|
|
|
|
|
const FOO: i32 = -2;
|
|
|
|
static BAR: i32 = -2;
|
|
|
|
|
|
|
|
let _: [i32; 1 + 1] = [0, 0];
|
|
|
|
|
|
|
|
let _: [i32; 1 + 1] = {
|
|
|
|
let a: [i32; 1 + 1] = [0, 0];
|
|
|
|
a
|
|
|
|
};
|
|
|
|
|
|
|
|
trait Trait {
|
|
|
|
const ASSOC: i32 = 1 + 1;
|
|
|
|
}
|
|
|
|
|
|
|
|
impl Trait for Foo {
|
|
|
|
const ASSOC: i32 = {
|
|
|
|
let _: [i32; 1 + 1];
|
|
|
|
fn foo() {}
|
|
|
|
1 + 1
|
|
|
|
};
|
|
|
|
}
|
2016-04-30 02:01:47 +00:00
|
|
|
}
|