-
-
Notifications
You must be signed in to change notification settings - Fork 14.7k
region tests incorrectly passing with NLL enabled #56993
Copy link
Copy link
Closed
Labels
A-NLLArea: Non-lexical lifetimes (NLL)Area: Non-lexical lifetimes (NLL)E-needs-testCall for participation: An issue has been fixed and does not reproduce, but no test has been added.Call for participation: An issue has been fixed and does not reproduce, but no test has been added.NLL-soundWorking towards the "invalid code does not compile" goalWorking towards the "invalid code does not compile" goalP-mediumMedium priorityMedium priority
Metadata
Metadata
Assignees
Labels
A-NLLArea: Non-lexical lifetimes (NLL)Area: Non-lexical lifetimes (NLL)E-needs-testCall for participation: An issue has been fixed and does not reproduce, but no test has been added.Call for participation: An issue has been fixed and does not reproduce, but no test has been added.NLL-soundWorking towards the "invalid code does not compile" goalWorking towards the "invalid code does not compile" goalP-mediumMedium priorityMedium priority
Type
Fields
Give feedbackNo fields configured for issues without a type.
The following tests pass under NLL, but ought not to (in some cases, light editing is required to observe that):
ui/regions/regions-assoc-type-in-supertrait-outlives-container.rs, modified variantui/regions/regions-free-region-ordering-caller.rsui/regions/regions-outlives-projection-container-wc.rsui/regions/regions-outlives-projection-container-hrtb.rsTo observe the problems, though, you need to run in true NLL mode (i.e.,
#![feature(nll)]or-Zborrowck=mir). In migration mode, the lexical borrow checker still reports the errors in question.