Skip to content

Mutation by a closure in a struct field leads to unsoundness #41

@coord-e

Description

@coord-e

9e92551

fn main() {
    let mut call_count = 0;
    let mut s = (|| {
        call_count = 1;
    }, 0);
    (s.0)();
    assert!(false);
}

Metadata

Metadata

Assignees

No one assigned

    Labels

    bugSomething isn't working

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions