Skip to content

unary move is not integrated into borrowck #3071

New issue

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

Sign up for GitHub

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

Already on GitHub? Sign in 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
Sign up for free to join this conversation on GitHub. Already have an account? Sign in 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