Repository navigation
region tests incorrectly passing with NLL enabled #56993
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.rsui/regions/regions-outlives-projection-container-wc.rsui/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.
Activity
matthewjasper commentedon Dec 22, 2018
This appear to have regressed between nightly-2018-10-24 and nightly-2018-10-26.
#55323 looks suspicious
Auto merge of #57714 - matthewjasper:wellformed-unreachable, r=pnkfelix
matthewjasper commentedon Jan 25, 2019
These tests are now properly tested with NLL enabled using revisions. Once migrate mode is the default we can switch compare mode to use
-Zborrowck=mirand close this issue.Auto merge of #59114 - matthewjasper:enable-migate-2015, r=pnkfelix
Auto merge of #59114 - matthewjasper:enable-migate-2015, r=pnkfelix
Auto merge of #60171 - matthewjasper:full-nll-compare-mode, r=pnkfelix