1 // Regression test for issue 81708 and issue 91816 where running a drop
2 // elaboration on a MIR which failed borrowck lead to an ICE.
6 //~^ ERROR destructors cannot be evaluated at compile-time
8 //~^ ERROR destructors cannot be evaluated at compile-time
9 //~| ERROR binding `a` isn't initialized
15 pub const fn f(mut self, other: T) -> Self {
17 //~^ ERROR destructors cannot be evaluated at compile-time
19 //~^ ERROR destructors cannot be evaluated at compile-time
20 //~| ERROR use of moved value