summary refs log tree commit diff
path: root/src/librustc_mir/borrow_check
AgeCommit message (Expand)AuthorLines
2018-07-31region_infer: rustfmt, pacifying the mercilous tidyNiko Matsakis-24/+48
2018-07-31free RegionBoundPairs earlier and avoid normalizing twiceNiko Matsakis-24/+41
2018-07-31remove `region_bound_pairs` from FRR as they are not needed laterNiko Matsakis-25/+26
2018-07-31make a free fn for creating the URRNiko Matsakis-43/+42
2018-07-31remove universal-region-relation computation from universal_regionsNiko Matsakis-300/+206
2018-07-31introduce, but do not use, `free_region_relation` computationNiko Matsakis-4/+241
2018-07-30Auto merge of #52830 - matthewjasper:bootstrap-prep, r=matthewjasperbors-2/+2
2018-07-30Auto merge of #52805 - ljedrz:format_str_literal, r=petrochenkovbors-9/+9
2018-07-29Remove unused `mut`sMatthew Jasper-2/+2
2018-07-29Auto merge of #52620 - mikhail-m1:51351, r=nikomatsakisbors-2/+79
2018-07-29fix issues #51351 and #52133Mikhail Modin-2/+79
2018-07-29Auto merge of #52767 - ljedrz:avoid_format, r=petrochenkovbors-11/+11
2018-07-28Don't format!() string literalsljedrz-9/+9
2018-07-28Auto merge of #52802 - kennytm:rollup, r=kennytmbors-1/+1
2018-07-28Rollup merge of #52781 - ljedrz:avoid_vec_arguments, r=nikomatsakiskennytm-1/+1
2018-07-28Auto merge of #52678 - matthewjasper:better-spans, r=nikomatsakisbors-24/+19
2018-07-27Use slices where a vector is not necessaryljedrz-1/+1
2018-07-27Auto merge of #52648 - davidtwco:issue-52533, r=nikomatsakisbors-93/+130
2018-07-27Region inference error messages no longer start with 'free region'David Wood-6/+7
2018-07-27Auto merge of #52733 - pnkfelix:issue-51348-make-temp-for-each-candidate-in-a...bors-3/+10
2018-07-27Improved mechanism for naming regions in non-annotated types.David Wood-34/+22
2018-07-27Change label from closure to function where appropriate.David Wood-15/+17
2018-07-27Fixed missing whitespace on some elaborated types.David Wood-3/+3
2018-07-27Improved fully elaborated type generation to replace `'_#2r`-style regions.David Wood-13/+39
2018-07-27Added fully elaborated type label for inferred arguments.David Wood-15/+57
2018-07-27Simplified closure handling to need no new cosntraint categories.David Wood-67/+45
2018-07-27Prefer to_string() to format!()ljedrz-11/+11
2018-07-27Auto merge of #52681 - pnkfelix:z-borrowck-migrate, r=nikomatsakisbors-16/+76
2018-07-26Auto merge of #52673 - oli-obk:mutable_promoted, r=nagisa,cramertj,estebankbors-2/+6
2018-07-26Use better spans for cannot-move errorsMatthew Jasper-24/+19
2018-07-26Auto merge of #52735 - Mark-Simulacrum:rollup, r=Mark-Simulacrumbors-95/+14
2018-07-26Rollup merge of #52617 - matthewjasper:remove-unused-code, r=nikomatsakisMark Rousskov-95/+14
2018-07-26Add scary warnings to errors-downgraded-to-warnings in borrowck=migrate.Felix S. Klock II-14/+53
2018-07-26Add `-Z borrowck=migrate` flag, use it to link NLL up to AST-borrowck.Felix S. Klock II-3/+24
2018-07-26Improve the information provided when this assertion fails.Felix S. Klock II-3/+10
2018-07-25ignore code example in commentNiko Matsakis-1/+1
2018-07-25Nit: improve Binders comment in `relate_tys`Niko Matsakis-8/+10
2018-07-25Nit: fix Debug impl of `PlaceholderIndex`Niko Matsakis-1/+1
2018-07-25[nit] remove outdated commentNiko Matsakis-2/+0
2018-07-25improve heuristics for what makes an interesting constraintNiko Matsakis-1/+42
2018-07-25[WIP] debug logs in error-reportingNiko Matsakis-3/+14
2018-07-25[3f0fb4f7] improve comment on `to_location`Niko Matsakis-2/+3
2018-07-250-length arrays can even be mutably promotedOliver Schneider-2/+6
2018-07-25introduce new subtypingNiko Matsakis-119/+855
2018-07-25remove `num_universal_regions` etc from RegionValueElementsNiko Matsakis-12/+11
2018-07-25represent `LivenessValues` with a specialized typeNiko Matsakis-42/+76
2018-07-25extract `region_value_str` helperNiko Matsakis-77/+73
2018-07-25generate extra liveness constraints before regioncx is createdNiko Matsakis-15/+21
2018-07-25consolidate and use `find_sub_region_live_at` for everythingNiko Matsakis-84/+26
2018-07-25extract a `best_blame_constraint` helperNiko Matsakis-63/+123