Closed
Description
This program should fail:
fn call(x: @{mut f: fn~()}) {
x.f(); //~ ERROR foo
//~^ NOTE bar
}
fn main() {}
the reason is that it would be possible for the closure to cause itself to be freed. well, of course it's not actually possible in this case but it'd require alias analysis to know that.
Metadata
Metadata
Assignees
Type
Projects
Relationships
Development
No branches or pull requests
Activity
Cleanup how we handle proto in types, remove unsound subtyping
11 remaining items