summaryrefslogtreecommitdiffstats
path: root/tests/ui/mir/drop-elaboration-after-borrowck-error.rs
blob: 624b464ecef25f690215f79b47de94c6749e4934 (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
// Regression test for issue 81708 and issue 91816 where running a drop
// elaboration on a MIR which failed borrowck lead to an ICE.

static A: () = {
    let a: [String; 1];
    //~^ ERROR destructor of
    a[0] = String::new();
    //~^ ERROR destructor of
    //~| ERROR binding `a` isn't initialized
};

struct B<T>([T; 1]);

impl<T> B<T> {
    pub const fn f(mut self, other: T) -> Self {
        let _this = self;
        //~^ ERROR destructor of
        self.0[0] = other;
        //~^ ERROR destructor of
        //~| ERROR use of moved value
        self
    }
}

fn main() {}