Stream: t-compiler/wg-polonius

Topic: move errors: partial assignments to moved variables


lqd (Jun 30 2020 at 10:02, on Zulip):

an issue would be super useful, until we can hook move errors to rustc and see all that's missing, in order to check and modify all the rules at once

lqd (Jun 30 2020 at 10:02, on Zulip):

but this specific case might be of interest to @Albin Stjerna who worked on move errors

Andrea Lattuada (Jun 30 2020 at 12:04, on Zulip):

https://github.com/rust-lang/polonius/issues/152

Albin Stjerna (Jul 06 2020 at 17:24, on Zulip):

It's been a while, but IIRC I intentionally left this check out because I figured we might want to support partial assignments, provided they were safe, and that the more granular move analysis performed by Polonius would be enough to handle them.

Albin Stjerna (Jul 06 2020 at 17:24, on Zulip):

Still, for checking against rustc to verify errors? Possibly a good idea

Last update: Jun 20 2021 at 00:30UTC