Compute type fragments left over from moves - #17439

Closed

pnkfelix wants to merge 12 commits into

rust-lang:masterfrom

pnkfelix:fsk-type-fragments-for-needsdrop

Commits on Sep 22, 2014

Added type fragmentation code to compute drop obligations remaining post move.
pnkfelix
committed
d84035b
Track what drop obligations are established on match arms.
pnkfelix
committed
21dd404
Distinguish move semantics for `a @ Var(_)` from that of `Var(_)`.
pnkfelix
committed
94402f2
Code to compute the fragment siblings and add them to the dataflow inputs.
pnkfelix
committed
f9080aa
Add `node_to_user_string`, `node_to_string` variant that drops id from output.
pnkfelix
committed
77d889f
Add `span_end_err` as a way to print an error message at the *end* of a span.
pnkfelix
committed
2fa8ee4
Added code to emit the gen/kill sets in source annotated form.
pnkfelix
committed
33ac411
Tests illustrating the `rustc_drop_obligations` instrumentation attribute.
pnkfelix
committed
1161da9