Extend Polonius fact generation for (some) move tracking#62800

Merged

bors merged 8 commits intorust-lang:masterfrom

amandasystems:polonius-initialization-1

Sep 5, 2019

Commits on Sep 4, 2019

NLL: New Polonius version
Albin Stjerna
committed
NLL: Adapt to the new Polonius types
Albin Stjerna
committed
Polonius: emit initialization/move tracking facts
Albin Stjerna
committed
Polonius: Rename `parent` and `var_starts_path`
Albin Stjerna
committed
Polonius: don't emit `var_maybe_initialized_on_exit`
Albin Stjerna
committed
Polonius: don't emit `region_live_at`
Albin Stjerna
committed
Polonius: emit variable access facts
Albin Stjerna
committed
Rustfmt the files I touched
Albin Stjerna
committed