Skip to content

unary move is not integrated into borrowck #3071

Closed
@nikomatsakis

Description

@nikomatsakis

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

Metadata

Metadata

Assignees

No one assigned

    Labels

    A-lifetimesArea: Lifetimes / regions

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions