[WIP] Take 2: change how MIR represents Place#54426

Closed

csmoe wants to merge 34 commits intorust-lang:masterfrom

Commits on Jan 27, 2019

introduce new place definition

csmoe
authored and
spastorino
committed
convert old Place to NeoPlace

csmoe
authored and
spastorino
committed
rewrite methods with NeoPlace in mir/tcx

csmoe
authored and
spastorino
committed
move from fixme to todo

csmoe
authored and
spastorino
committed
impl mir visitor for NeoPlace

csmoe
authored and
spastorino
committed
introduce NeoPlace in borrow_check/borrow_set

csmoe
authored and
spastorino
committed
remove inefficient split_projection

csmoe
authored and
spastorino
committed
add helper method ty_with_projections for base

csmoe
authored and
spastorino
committed
add helper method to get base of place without projections

csmoe
authored and
spastorino
committed
implement construct method for NeoPlace

csmoe
authored and
spastorino
committed
add prefix method for neoplace

csmoe
authored and
spastorino
committed
rename bare_place to as_place_base

csmoe
authored and
spastorino
committed
optimize prefix method

csmoe
authored and
spastorino
committed
introduce neoplace in dataflow/impls

csmoe
authored and
spastorino
committed
introduce neoplace in dataflow/impls

csmoe
authored and
spastorino
committed
clean up old place in place_ext

csmoe
authored and
spastorino
committed
impl hash_stable for neo_place

csmoe
authored and
spastorino
committed
generate tys of sub-places

csmoe
authored and
spastorino
committed
generate prefixes for place

csmoe
authored and
spastorino
committed
rewrite places conflict

csmoe
authored and
spastorino
committed
rewrite place in move_errs

csmoe
authored and
spastorino
committed
introduce neo_place in borrowck/path_utils

csmoe
authored and
spastorino
committed
rewrite place in used_muts into neo_place

csmoe
authored and
spastorino
committed
introduce NeoPlaceTree

nikomatsakis
authored and
spastorino
committed
convert `describe_place` to use `NeoPlace`

nikomatsakis
authored and
spastorino
committed
Implement PlaceExt trait for NeoPlace
spastorino
committed
Remove PlaceExt impl for Place and use the NeoPlace one
spastorino
committed
Implement IsPrefixOf trait for NeoPlace
spastorino
committed
Remove IsPrefixOf impl for Place and use the NeoPlace one
spastorino
committed
Remove Place::ty and use NeoPlace::ty instead
spastorino
committed
Remove Place::local & Place::base_local and use NeoPlace::base_local instead
spastorino
committed

Commits on Jan 29, 2019

Make into_tree generate Place instead of PlaceTree
spastorino
committed

Commits on Jan 30, 2019

implement `RustcDecodable` for `NeoPlace`
nikomatsakis
committed

Commits on Feb 3, 2019

Make StatementKind::Assign carry a NeoPlace instead of a Place
spastorino
committed