Skip to content

unary move is not integrated into borrowck #3071

New issue

Have a question about this project? # for a free GitHub account to open an issue and contact its maintainers and the community.

#

By clicking “#”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? # to your account

Jump to bottom
Closed
nikomatsakis opened this issue Aug 1, 2012 · 1 comment
Closed

unary move is not integrated into borrowck #3071

nikomatsakis opened this issue Aug 1, 2012 · 1 comment
Labels
A-lifetimes Area: Lifetimes / regions
Milestone
0.5

Comments

@nikomatsakis
Copy link
Contributor

This should fail:

fn foo(+x: ~int) -> int {
    let y = &*x;
    free(move x);
    *y
}

fn free(+x: ~int) {
}

fn main() {
}

but it does not. Should be a simple fix, add the appropriate line to check_loans.rs
@nikomatsakis nikomatsakis mentioned this issue Aug 2, 2012
Closed
nikomatsakis added a commit that referenced this issue Aug 3, 2012
@nikomatsakis
Purge placement new; Make borrowck know about unary move.
31c5cec 
cc #3071
@nikomatsakis
Copy link
Contributor Author

Fixed now.

flip1995 pushed a commit to flip1995/rust that referenced this issue Sep 28, 2021
@bors
Auto merge of rust-lang#7661 - camsteffen:eta, r=giraffate
a64b769 
Fix various redundant_closure bugs

changelog: Fix various false negatives and false positives for [`redundant_closure`]

Closes rust-lang#3071
Closes rust-lang#4002

This lint is full of weird nuances and this is basically a re-write to tighten up the logic.
RalfJung pushed a commit to RalfJung/rust that referenced this issue Sep 25, 2023
@bors
Auto merge of rust-lang#3071 - RalfJung:deprecate-disable-abi, r=oli-…
5b8695b 
…obk,saethlin

deprecate -Zmiri-disable-abi-check

This was added in rust-lang/miri#1776 but I couldn't find any discussion or motivation.
celinval pushed a commit to celinval/rust-dev that referenced this issue Jun 4, 2024
@zhassan-aws
Upgrade toolchain to 2024-03-11 (rust-lang#3071)
e7a4d83 
Relevant upstream changes:

rust-lang#120675: An intrinsic `Symbol` is
now wrapped in a `IntrinsicDef` struct, so the relevant part of the code
needed to be updated.
rust-lang#121464: The second argument of
the `create_wrapper_file` function changed from a vector to a string.
rust-lang#121662: `NullOp::DebugAssertions`
was renamed to `NullOp::UbCheck` and it now has data (currently unused
by Kani)
rust-lang#121728: Introduces `F16` and
`F128`, so needed to add stubs for them
rust-lang#121969: `parse_sess` was renamed
to `psess`, so updated the relevant code.
rust-lang#122059: The
`is_val_statically_known` intrinsic is now used in some `core::fmt`
code, so had to handle it in (codegen'ed to false).
rust-lang#122233: This added a new
`retag_box_to_raw` intrinsic. This is an operation that is primarily
relevant for stacked borrows. For Kani, we just return the pointer.

Resolves rust-lang#3057
# for free to join this conversation on GitHub. Already have an account? # to comment
Assignees
No one assigned
Labels
A-lifetimes Area: Lifetimes / regions
Projects
None yet
Milestone
0.5
Development

No branches or pull requests
1 participant
@nikomatsakis