Closed
Description
As part of the NLL development, the plan is to allow people on nightly to "opt-in" to the new checker. My plan is to allow one of two things. Either you can use the -Znll
compilation flag (as we do today) or you can use #![feature(nll)]
in your code.
I think it should work like this:
-Znll
implies-Zborrowck=mir
. This is not true today and requires a small amount of tweaking.#![feature(nll)]
implies-Znll
.