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.
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=mir
and 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