The following tests pass under NLL, but ought not to (in some cases, light editing is required to observe that):
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.
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.