enable non-lexical lifetimes in the MIR borrow checker#45538

Merged

bors merged 33 commits intorust-lang:masterfrom nikomatsakis:nll-liveness

Nov 1, 2017

+2,102-622

Commits on Oct 31, 2017

execute liveness, write a simple test
nikomatsakis
committed
add a test for the subtle case around calls
nikomatsakis
committed
factor out pre_defs field by going backwards
nikomatsakis
committed
rename BlockInfo and BlockInfoVisitor to DefsUses
nikomatsakis
committed
extend dump_mir to work for any tcx, not just global tcx
nikomatsakis
committed
introduce apply helper that applies a DefUse set to live bits
nikomatsakis
committed
extend liveness to compute intrablock liveness and add unit tests
nikomatsakis
committed
add helper for_each_free_region that iterates over free regions
nikomatsakis
committed
introduce liveness constraints into NLL code
nikomatsakis
committed
avoid unnecessary copies in liveness computation
nikomatsakis
committed
reorder liveness to bring the more significant code up top
nikomatsakis
committed
extend liveness to distinguish "drop" and "non-drop" uses
nikomatsakis
committed
preliminary support for may-dangle attribute and drop constraints
nikomatsakis
committed
add subregion between borrow region and resulting reference
nikomatsakis
committed
update the format of liveness debug dumps to be more readable
nikomatsakis
committed
factor out NLL invocation interface
nikomatsakis
committed
make end-point optional in the borrow check
nikomatsakis
committed
add reborrow constraints

spastorino
authored and
nikomatsakis
committed
add basic region subtyping inference

spastorino
authored and
nikomatsakis
committed
make nll separately invokable
nikomatsakis
committed
make MirSource::from_local_def_id invokable with 'gcx and 'tcx
nikomatsakis
committed
make closure_self_ty invokable with 'gcx and 'tcx
nikomatsakis
committed
reorder 'gcx and 'tcx in BorrowckErrors impl
nikomatsakis
committed
test "needs drop" on region-erased, lifted types
nikomatsakis
committed
make the dataflow / mir-borrowck types carry a 'tcx lifetime
nikomatsakis
committed
connect MIR borrowck with NLL
nikomatsakis
committed
change region display to '_#Nr, update the newtype_index! macro
nikomatsakis
committed
WIP patch compile-fail/nll/region-ends-after-if-condition.rs
nikomatsakis
committed
remove the NLL pass (it is now invoked by mir borrowck)
nikomatsakis
committed
runtest: fix mir directory and delete outdated MIR files
nikomatsakis
committed
treat -Znll as implying -Zborrowck-mir
nikomatsakis
committed
rewrite write_mir_fn_graphviz to cope with non-global tcx
nikomatsakis
committed
patch mir-opt reference files
nikomatsakis
committed

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

enable non-lexical lifetimes in the MIR borrow checker#45538

Commits on Oct 31, 2017

execute liveness, write a simple test

add a test for the subtle case around calls

factor out `pre_defs` field by going backwards

rename `BlockInfo` and `BlockInfoVisitor` to `DefsUses`

extend `dump_mir` to work for any tcx, not just global tcx

introduce `apply` helper that applies a DefUse set to live bits

extend liveness to compute intrablock liveness and add unit tests

add helper `for_each_free_region` that iterates over free regions

introduce liveness constraints into NLL code

avoid unnecessary copies in liveness computation

reorder liveness to bring the more significant code up top

extend liveness to distinguish "drop" and "non-drop" uses

preliminary support for may-dangle attribute and drop constraints

add subregion between borrow region and resulting reference

update the format of liveness debug dumps to be more readable

factor out NLL invocation interface

make end-point optional in the borrow check

add reborrow constraints

add basic region subtyping inference

make nll separately invokable

make `MirSource::from_local_def_id` invokable with 'gcx and 'tcx

make `closure_self_ty` invokable with `'gcx` and `'tcx`

reorder 'gcx and 'tcx in `BorrowckErrors` impl

test "needs drop" on region-erased, lifted types

make the dataflow / mir-borrowck types carry a `'tcx` lifetime

connect MIR borrowck with NLL

change region display to `'_#Nr`, update the `newtype_index!` macro

WIP patch `compile-fail/nll/region-ends-after-if-condition.rs`

remove the NLL pass (it is now invoked by mir borrowck)

runtest: fix mir directory and delete outdated MIR files

treat -Znll as implying -Zborrowck-mir

rewrite `write_mir_fn_graphviz` to cope with non-global tcx

patch mir-opt reference files