summaryrefslogtreecommitdiffstats
path: root/src/test/ui/liveness/liveness-consts.rs
blob: 8fe2453ca2292f13ed6c1cc03b09ece4134414ee (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
53
54
55
56
57
58
59
60
61
62
63
// check-pass
#![warn(unused)]
#![allow(unreachable_code)]

pub static A: i32 = {
    let mut i = 0;
    let mut a = 0; //~ WARN variable `a` is assigned to, but never used
    while i < 10 {
        i += 1;
        a += 1;
    }
    i
};

pub const B: u32 = {
    let mut b = 1;
    b += 1; //~ WARN value assigned to `b` is never read
    b = 42;
    b
};

pub enum E {
    V1 = {
        let e = 1; //~ WARN unused variable: `e`
        1
    },
    V2 = {
        let _f = 10;
        2
    }
}

pub fn f(x: [u8; { let s = 17; 100 }]) -> [u8;  { let z = 18; 100 }] {
    //~^ WARN unused variable: `s`
    //~| WARN unused variable: `z`
    x
}

pub trait T {
    const T: usize = {
        let mut t = 10;
        t = t + t; //~ WARN value assigned to `t` is never read
        20
    };
}

impl T for String {
    const T: usize = {
        let w = 10; //~ WARN unused variable: `w`
        loop {
            break;
            let _ = w;
        }
        44
    };
}

fn main() {
    let _ = [(); {
        let z = 42; //~ WARN unused variable: `z`
        35
    }];
}