rust/tests/ui/consts/control-flow/drop-fail.rs
2023-01-11 09:32:08 +00:00

63 lines
1.3 KiB
Rust

// revisions: stock precise
#![cfg_attr(precise, feature(const_precise_live_drops))]
// `x` is *not* always moved into the final value and may be dropped inside the initializer.
const _: Option<Vec<i32>> = {
let y: Option<Vec<i32>> = None;
let x = Some(Vec::new());
//[stock,precise]~^ ERROR destructor of
if true {
x
} else {
y
}
};
// We only clear `NeedsDrop` if a local is moved from in entirely. This is a shortcoming of the
// existing analysis.
const _: Vec<i32> = {
let vec_tuple = (Vec::new(),);
//[stock]~^ ERROR destructor of
vec_tuple.0
};
// This applies to single-field enum variants as well.
const _: Vec<i32> = {
let x: Result<_, Vec<i32>> = Ok(Vec::new());
//[stock]~^ ERROR destructor of
match x {
Ok(x) | Err(x) => x,
}
};
const _: Option<Vec<i32>> = {
let mut some = Some(Vec::new());
let mut tmp = None;
//[stock,precise]~^ ERROR destructor of
let mut i = 0;
while i < 10 {
tmp = some;
some = None;
// We can escape the loop with `Some` still in `tmp`,
// which would require that it be dropped at the end of the block.
if i > 100 {
break;
}
some = tmp;
tmp = None;
i += 1;
}
some
};
fn main() {}