diff options
Diffstat (limited to 'src/test/ui/borrowck/two-phase-reservation-sharing-interference-2.rs')
-rw-r--r-- | src/test/ui/borrowck/two-phase-reservation-sharing-interference-2.rs | 29 |
1 files changed, 0 insertions, 29 deletions
diff --git a/src/test/ui/borrowck/two-phase-reservation-sharing-interference-2.rs b/src/test/ui/borrowck/two-phase-reservation-sharing-interference-2.rs deleted file mode 100644 index 27e599c6c..000000000 --- a/src/test/ui/borrowck/two-phase-reservation-sharing-interference-2.rs +++ /dev/null @@ -1,29 +0,0 @@ -// Test for #56254. The last example originally failed with the ast checker, was -// accidentally allowed under migrate/nll, then linted against in migrate mode -// but disallowed under NLL. Now, we accept it everywhere. - -//ignore-compare-mode-polonius - -fn double_conflicts() { - let mut v = vec![0, 1, 2]; - let shared = &v; - - v.extend(shared); - //~^ ERROR cannot borrow `v` as mutable -} - -fn activation_conflict() { - let mut v = vec![0, 1, 2]; - - v.extend(&v); - //~^ ERROR cannot borrow `v` as mutable -} - -fn reservation_allowed() { - let mut v = vec![0, 1, 2]; - let shared = &v; - - v.push(shared.len()); -} - -fn main() {} |