New scoping rules for safe destruction; not ready to land#20539

Closed

pnkfelix wants to merge 65 commits intorust-lang:masterfrom

pnkfelix:new-dtor-semantics-4

Commits on Nov 28, 2014

keep factored out and early: bug fix to avoid hitting region resolution errors during regionck.
pnkfelix
committed
add debug output for region_inference, gather_loans, mem_categorization.
pnkfelix
committed

Commits on Dec 9, 2014

Checkpoint pcwalton's dtor checker with `SafeDestructor` in enum `infer::SubregionOrigin`.
pnkfelix
committed
add debug output to check_safey_of_destructor (just for drop-lts).
pnkfelix
committed
factored drop-checking code out into dropck module.
pnkfelix
committed
FIXME checkpoint pcwalton factoring out of `fn mem_categorization::scope`.
pnkfelix
committed
checkpoint pcwalton removal of `#[unsafe_destructor]` check.
pnkfelix
committed
checkpoint pcwalton test of new destructor static semantics.
pnkfelix
committed
Add `CodeExtent::Remainder` variant to track a suffix of a block.
pnkfelix
committed
add debug output to gather_loans.
pnkfelix
committed
Add debug output to expr_use_visitor.
pnkfelix
committed
add debug output to regionck
pnkfelix
committed
add more debug instrumentation to mem_categorization.
pnkfelix
committed
instrument the new cat_expr calls that were added to middle::typeck::check::regionck.
pnkfelix
committed
more debug instrumentation in mem_categorization.
pnkfelix
committed
more debug instrumentation in regionck
pnkfelix
committed
"fix" pcwalton changes to avoid premature return from regionck::visit_expr.
pnkfelix
committed
region_inference: debug instrumentation of other sites where RegionResolutionError is pushed.
pnkfelix
committed
regionck: bug fix to instrumentation I added in an earlier commit.
pnkfelix
committed
Add Closure variant to CodeExtent to lay foundation for special-case
pnkfelix
committed
`fn constrain_region_for_destructor_safety`: Use `ReFunction` as
pnkfelix
committed
REMOVE ME: annotate core::panicking to avoid a problem downstream in drop-lts.
pnkfelix
committed
added libst2 as libstd stubs.
pnkfelix
committed
re-add pipe::read impl to libst2.
pnkfelix
committed
rustc::middle::borrowck::gather_loans::lifetime: revise debug instrumentation.
pnkfelix
committed
rustc::middle::typeck::infer::region_inference add more debug instrumentation.
pnkfelix
committed
rustc::middle::typeck::check::dropck remove source of ReFunction.
pnkfelix
committed
rustc::middle::region local check for trivial cyclic encl region scope.
pnkfelix
committed
rustc::middle::region added debug instrumentation to `fn ancestors_of`.
pnkfelix
committed
rustc::middle::region attempt to introduce CodeExtent::Closure and
pnkfelix
committed

Commits on Dec 13, 2014

Commits on Dec 15, 2014

middle::resolve_lifetime: Map BlockScope to DestructionScope in `fn resolve_free_lifetime`.
pnkfelix
committed

Commits on Dec 18, 2014

Commits on Dec 19, 2014

Commits on Dec 22, 2014

Commits on Jan 5, 2015