Repository navigation
Implicit copy of pinned kind runs destructor twice #985
Description
resource r(i: @mutable int) {
*i = *i + 1;
}
fn movearg(i: r) {
// Implicit copy to mutate reference i
let j <- i;
}
fn main() {
let i = @mutable 0;
{
let j <- r(i);
movearg(j);
}
log_err *i;
// nooooooo. destructor ran twice
assert *i == 2;
}
Activity
brson commentedon Sep 27, 2011
marijn: brson: i think mut.rs, when inserting a value into the mut_map, could check whether it is an argument
Test cases for #985
Fix overwritten print bug (rust-lang#985)
Avx512f_avx512vl (rust-lang#985)
Documentation: Updates for "Failures that Kani can spot" (rust-lang#985)
Merge rust-lang#985
Auto merge of rust-lang#985 - christianpoveda:fix-fs-path, r=RalfJung
Merge pull request rust-lang#985 from rust-lang/sync_from_rust_2026_0…
Merge pull request rust-lang#985 from rust-lang/sync_from_rust_2026_0…
Merge pull request rust-lang#985 from rust-lang/sync_from_rust_2026_0…