summaryrefslogtreecommitdiffstats
path: root/tests/ui/lint/dead-code/self-assign.rs
blob: ea7ce98d88413da8fccb5138ef622713c9b3f244 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
// Test that dead code warnings are issued for superfluous assignments of
// fields or variables to themselves (issue #75356).

// ignore-test FIXME(81658, 83171)

// check-pass
#![allow(unused_assignments)]
#![warn(dead_code)]

fn main() {
    let mut x = 0;
    x = x;
    //~^ WARNING: useless assignment of variable of type `i32` to itself

    x = (x);
    //~^ WARNING: useless assignment of variable of type `i32` to itself

    x = {x};
    // block expressions don't count as self-assignments


    struct S<'a> { f: &'a str }
    let mut s = S { f: "abc" };
    s = s;
    //~^ WARNING: useless assignment of variable of type `S` to itself

    s.f = s.f;
    //~^ WARNING: useless assignment of field of type `&str` to itself


    struct N0 { x: Box<i32> }
    struct N1 { n: N0 }
    struct N2(N1);
    struct N3 { n: N2 };
    let mut n3 = N3 { n: N2(N1 { n: N0 { x: Box::new(42) } }) };
    n3.n.0.n.x = n3.n.0.n.x;
    //~^ WARNING: useless assignment of field of type `Box<i32>` to itself

    let mut t = (1, ((2, 3, (4, 5)),));
    t.1.0.2.1 = t.1.0.2.1;
    //~^ WARNING: useless assignment of field of type `i32` to itself


    let mut y = 0;
    macro_rules! assign_to_y {
        ($cur:expr) => {{
            y = $cur;
        }};
    }
    assign_to_y!(y);
    // self-assignments in macro expansions are not reported either
}