rust/tests/ui/eval_order_dependence.rs

59 lines
1.8 KiB
Rust
Raw Normal View History

2018-10-06 18:18:06 +02: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 12:16:22 +02:00
2017-09-18 12:47:33 +02:00
2018-07-28 17:34:52 +02:00
#[warn(clippy::eval_order_dependence)]
#[allow(unused_assignments, unused_variables, clippy::many_single_char_names, clippy::no_effect, dead_code, clippy::blacklisted_name)]
fn main() {
let mut x = 0;
let a = { x = 1; 1 } + x;
2017-02-08 14:58:07 +01:00
// Example from iss#277
2017-02-08 14:58:07 +01:00
x += { x = 20; 2 };
// Does it work in weird places?
// ...in the base for a struct expression?
struct Foo { a: i32, b: i32 };
let base = Foo { a: 4, b: 5 };
let foo = Foo { a: x, .. { x = 6; base } };
// ...inside a closure?
let closure = || {
let mut x = 0;
2017-02-08 14:58:07 +01:00
x += { x = 20; 2 };
};
// ...not across a closure?
let mut y = 0;
let b = (y, || { y = 1 });
// && and || evaluate left-to-right.
let a = { x = 1; true } && (x == 3);
let a = { x = 1; true } || (x == 3);
// Make sure we don't get confused by alpha conversion.
let a = { let mut x = 1; x = 2; 1 } + x;
// No warning if we don't read the variable...
x = { x = 20; 2 };
// ...if the assignment is in a closure...
let b = { || { x = 1; }; 1 } + x;
// ... or the access is under an address.
let b = ({ let p = &x; 1 }, { x = 1; x });
// Limitation: l-values other than simple variables don't trigger
// the warning.
let mut tup = (0, 0);
let c = { tup.0 = 1; 1 } + tup.0;
// Limitation: you can get away with a read under address-of.
let mut z = 0;
let b = (&{ z = x; x }, { x = 3; x });
}