summary refs log tree commit diff
path: root/src/librustc_mir/dataflow/move_paths/mod.rs
AgeCommit message (Expand)AuthorLines
2017-10-04Made `move_paths::MoveError` take span param in `cannot_move_out_of` ctor.Felix S. Klock II-3/+3
2017-10-04mir-borrowck: Gather move errors during MoveData construction and report them.Felix S. Klock II-1/+30
2017-08-16MIR based borrow check (opt-in).Felix S. Klock II-0/+6
2017-08-16Factored `MoveData` construction code into `builder` submodule.Felix S. Klock II-313/+2
2017-08-16Added dataflow analysis for `Borrows`.Felix S. Klock II-0/+3
2017-08-15use field init shorthand EVERYWHEREZack M. Davis-7/+7
2017-08-10For box expressions, use NZ drop instead of a free blockAriel Ben-Yehuda-0/+7
2017-07-30add new instructions for asserting when values are valid, and to describe whe...Ralf Jung-0/+1
2017-07-26Rollup merge of #42959 - SimonSapin:nonzero-checked, r=sfacklerMark Simulacrum-1/+1
2017-07-23Fix some doc/comment typos.Bruce Mitchener-1/+1
2017-07-22Use checked NonZero constructor in MIR move path indicesSimon Sapin-1/+1
2017-07-22Rename {NonZero,Shared,Unique}::new to new_uncheckedSimon Sapin-1/+1
2017-06-28Shift mir-dataflow from `rustc_borrowck` to `rustc_mir` crate.Felix S. Klock II-0/+531