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?
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.
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.