Closed
Description
e.g. (or src/test/run-pass/issue-8860.rs)
fn main() {}
fn foo(ref x: Box<()>) {}
The problem is that region inference infers the borrow of x
to ReEmpty
(because it's live nowhere), which doesn't have an EndRegion. NLL mode (-Z nll
) is not affected by this particular pathology, but I think this should still be fixed.