Closed
Description
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.rs
ui/regions/regions-outlives-projection-container-wc.rs
ui/regions/regions-outlives-projection-container-hrtb.rs
To 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.