The first thing these articles must mention is in which nightly SPECIFICALLY will the switch be made. Because it didn’t happen yet with the latest nightly, and (the PR that will flip the switch is not even merged yet ):
-Zpolonius=off
error: incorrect value `off` for unstable option `polonius` - either no value or `legacy` (the default), or `next` was expectedAlso
NLL’s analysis is flow-insensitive.
Polonius Alpha passes this because its analysis is flow-sensitive
Always ask two+ people to proof-read your announcements before hitting publish.
I thought Polonius will be only implemented in a new version of Rust and tied to versions (from there all upwards off course). But it looks like this is independent from the Rust version? Does that mean everyone from older Rust versions will also benefit from it?
Did you mean editions?
Yes, I was thinking off editions, not the actual versions of Rust itself.
Well, if you try the reborrow example from the article with edition=2015 and
RUSTFLAGS='-Zpolonius=next', you will see that it does indeed work. So the answer is yes.
