about summary refs log tree commit diff
path: root/src/librustc_mir/borrow_check
AgeCommit message (Expand)AuthorLines
2019-02-13Buffer and migrate nice region errorsMatthew Jasper-1/+2
2019-02-13Avoid propagating redundant outlives constraints from closuresMatthew Jasper-49/+93
2019-02-13simplified conditionalClint Frederickson-3/+1
2019-02-13check if `used_place` and `moved_place` are equal when determining if the mov...Clint Frederickson-4/+2
2019-02-13Rollup merge of #58137 - ljedrz:cleanup_node_id_to_type, r=estebankMazdak Farrokhzad-2/+2
2019-02-12compute is_partial_move outside of the move_site loop for clarityClint Frederickson-2/+9
2019-02-12Auto merge of #58341 - alexreg:cosmetic-2-doc-comments, r=steveklabnikbors-110/+110
2019-02-12Auto merge of #58180 - davidtwco:issue-58053, r=estebankbors-2/+5
2019-02-11Auto merge of #58152 - ljedrz:HirIdify_mir, r=Zoxcbors-15/+12
2019-02-10rustc: doc commentsAlexander Regueiro-110/+110
2019-02-09cleanup: rename node_id_to_type(_opt)ljedrz-2/+2
2019-02-09fix rebase falloutRalf Jung-2/+7
2019-02-09pass full InstanceDef to run_passesRalf Jung-1/+1
2019-02-08Use real try blocksTaiki Endo-2/+2
2019-02-08librustc_mir => 2018Taiki Endo-196/+205
2019-02-06Make an assert debug-only in `find_constraint_paths_between_regions`.Nicholas Nethercote-1/+1
2019-02-05[WIP] add better error message for partial moveClint Frederickson-2/+5
2019-02-05mir: partially HirIdifyljedrz-15/+12
2019-02-05Fix span for closure return type when annotated.David Wood-2/+5
2019-02-02hir: add HirId to main Hir nodesljedrz-0/+1
2019-01-27Make NiceRegionError use the `InferCtxt` instead of its `TyCtxt`lqd-1/+1
2019-01-26remove `_with_applicability` from suggestion fnsAndy Russell-11/+11
2019-01-25Auto merge of #57714 - matthewjasper:wellformed-unreachable, r=pnkfelixbors-136/+115
2019-01-24review commentsEsteban Küber-15/+10
2019-01-24Point at type argument suggesting adding `Copy` constraintEsteban Küber-0/+11
2019-01-24break eagerly from loopEsteban Küber-0/+1
2019-01-24When using value after move, point at span of localEsteban Küber-11/+23
2019-01-21Differentiate between closure and function bodiesOliver Scherer-4/+2
2019-01-19Type check unnanotated constant items with NLLMatthew Jasper-62/+49
2019-01-19Handle lifetime annotations in unreachable codeMatthew Jasper-77/+69
2019-01-19Use a struct for user type annotationsMatthew Jasper-8/+8
2019-01-19Rename UserTypeAnnotation -> UserTypeMatthew Jasper-7/+7
2019-01-17better lifetime error messageMark Mansi-1/+1
2019-01-13Rollup merge of #57102 - davidtwco:issue-57100, r=nikomatsakisMazdak Farrokhzad-10/+116
2019-01-05Rollup merge of #57249 - frewsxcv:frewsxcv-second-edition, r=KodrAuskennytm-2/+2
2019-01-05Auto merge of #57099 - davidtwco:issue-57098, r=nikomatsakisbors-39/+43
2019-01-04Improve diagnostic labels and add note.David Wood-9/+17
2019-01-04Make conflicting borrow description more robust.David Wood-31/+91
2019-01-04Auto merge of #56723 - oli-obk:lazy_const, r=nikomatsakisbors-8/+16
2019-01-03Auto merge of #55517 - nikomatsakis:universes, r=scalexmbors-14/+23
2019-01-03Auto merge of #56507 - nikomatsakis:polonius-integrate, r=MatthewJasperbors-4/+46
2019-01-02rename `type_moves_by_default` to `type_is_copy_modulo_regions`Niko Matsakis-7/+11
2019-01-02generalize region highlights into a structNiko Matsakis-7/+12
2019-01-02Wf-check the output type of a function in MIR-typeckMatthew Jasper-1/+1
2019-01-02generate invalidations from 2-phase-borrow activationsNiko Matsakis-4/+46
2019-01-01Add `unwrap_usize` to `LazyConst`, tooOliver Scherer-2/+2
2019-01-01Move the `Unevaluated` constant arm upwards in the type structureOliver Scherer-10/+18
2019-01-01Fix broken links to second edition TRPL.Corey Farwell-2/+2
2018-12-30Stop well-formedness checking unreachable code.David Wood-53/+0
2018-12-30Fix unresolved inference variable ICE.David Wood-14/+44