summary refs log tree commit diff
path: root/src/librustc_mir/borrow_check
AgeCommit message (Expand)AuthorLines
2019-03-16Make migrate mode work at item level granularityMatthew Jasper-23/+5
2019-03-16Handle type annotations in promoted MIR correctlyMatthew Jasper-15/+17
2019-03-16Remove unnecessary parameterMatthew Jasper-4/+2
2019-03-16Include bounds from promoted constants in NLLMatthew Jasper-19/+107
2019-02-25Auto merge of #57609 - matthewjasper:more-restrictive-match, r=pnkfelixbors-48/+43
2019-02-23Rollup merge of #58199 - clintfred:partial-move-err-msg, r=estebankMazdak Farrokhzad-2/+8
2019-02-21Activate two phase borrows on all usesMatthew Jasper-28/+16
2019-02-21Use normal mutable borrows in MIR match loweringMatthew Jasper-9/+8
2019-02-21Improve error message and add tests for borrowck match handlingMatthew Jasper-11/+19
2019-02-20Run rustfmtSantiago Pastorino-117/+155
2019-02-20Fix erroneous loop diagnostic in nllSantiago Pastorino-56/+123
2019-02-20Use successor_within_block helperSantiago Pastorino-4/+1
2019-02-13Propagate region constraints more precisely from closuresMatthew Jasper-66/+102
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