summary refs log tree commit diff
path: root/src/librustc_mir/borrow_check
AgeCommit message (Expand)AuthorLines
2019-01-04Wf-check the output type of a function in MIR-typeckMatthew Jasper-1/+1
2018-12-03Propagate all closure requirements to the callerMatthew Jasper-1/+1
2018-12-01Rollup merge of #56214 - scalexm:unification, r=nikomatsakiskennytm-2/+15
2018-11-29Fix doc commentsscalexm-1/+1
2018-11-29Handle inference variables in `nll_relate` and use it for chalkscalexm-2/+15
2018-11-25Auto merge of #55921 - scalexm:placeholders, r=nikomatsakisbors-14/+17
2018-11-24Distinguish between placeholder kindsscalexm-14/+17
2018-11-18Only handle ReVar regions in NLL borrowckMatthew Jasper-23/+14
2018-11-18Remove mir::StatementKind::EndRegionMatthew Jasper-20/+1
2018-11-15Rollup merge of #55901 - euclio:speling, r=petrochenkovPietro Albini-2/+2
2018-11-15Auto merge of #55716 - RalfJung:escape-to-raw, r=oli-obkbors-2/+5
2018-11-13Auto merge of #55912 - kennytm:rollup, r=kennytmbors-2/+2
2018-11-13fix various typos in doc commentsAndy Russell-2/+2
2018-11-13Instantiate all bound vars existentiallyscalexm-2/+2
2018-11-13Rollup merge of #55870 - waywardmonkeys:typo-fixes, r=wesleywiserkennytm-2/+2
2018-11-12Use type safe `VariantIdx` instead of `usize` everywhereOliver Scherer-4/+6
2018-11-11Auto merge of #55657 - davidtwco:issue-55651, r=pnkfelixbors-6/+25
2018-11-11Fix typos.Bruce Mitchener-2/+2
2018-11-11Rollup merge of #55822 - davidtwco:issue-55394, r=pnkfelixPietro Albini-16/+18
2018-11-10Auto merge of #55637 - pnkfelix:issue-55552-dont-attempt-to-ascribe-projectio...bors-8/+27
2018-11-09Fix ICE and find correct return span.David Wood-16/+18
2018-11-08Rollup merge of #55758 - davidtwco:issue-55344, r=pnkfelixMark Rousskov-28/+96
2018-11-07no more action on ref or cast, but add new MIR statement for escaping a ptr t...Ralf Jung-2/+5
2018-11-07Ignore never-initialized locals for `unused_mut`.David Wood-28/+96
2018-11-07borrow_set: remove a helper function and a clone it usesljedrz-12/+3
2018-11-05Improve predecessor detection.David Wood-6/+8
2018-11-03Unions reinitialized after assignment into field.David Wood-6/+23
2018-11-03Rename `Binder::no_late_bound_regions` to `Binder::no_bound_vars`scalexm-4/+4
2018-11-03Remove `ReCanonical` in favor of `ReLateBound`scalexm-2/+1
2018-11-03Shift both late bound regions and bound typesscalexm-1/+1
2018-11-03If we encounter `_` ascribed to structural pattern like `(a, b)`, just skip r...Felix S. Klock II-8/+27
2018-11-02Auto merge of #55087 - levex:e0669-improve-span, r=nagisabors-2/+2
2018-11-02Auto merge of #55316 - RalfJung:retagging, r=oli-obkbors-5/+5
2018-11-02Auto merge of #55305 - nikomatsakis:universes-refactor-3, r=scalexmbors-166/+344
2018-10-31fix bug in NLL error reportingNiko Matsakis-7/+103
2018-10-31use String::from() instead of format!() macro to construct Strings.Matthias Krüger-2/+2
2018-10-30Rollup merge of #55494 - pnkfelix:issue-55492-borrowck-migrate-must-look-at-p...kennytm-1/+27
2018-10-30borrowck=migrate mode needs to check parent(s) when its given a closure.Felix S. Klock II-1/+27
2018-10-29Don't emit cannot move errors twice in migrate modeMatthew Jasper-9/+11
2018-10-29Emit Retag statements, kill Validate statementsRalf Jung-5/+5
2018-10-27error_reporting/mod.rs: rustfmtNiko Matsakis-117/+152
2018-10-27convert placeholder region vids in NLL mode as we see themNiko Matsakis-38/+88
2018-10-27move `PlaceholderIndices` into `MirTypeckRegionConstraints` structNiko Matsakis-9/+6
2018-10-27Refactor and add `PlaceContext::AscribeUserTy`.David Wood-13/+15
2018-10-26add user_ty.projs support to `AscribeUserType`.Felix S. Klock II-2/+2
2018-10-26Add the actual chain of projections to `UserTypeProjection`.Felix S. Klock II-3/+17
2018-10-26Checkpoint: Added abstraction over collection of projections into user type.Felix S. Klock II-6/+6
2018-10-26Added `mir::UserTypeProjection`, a stub for a structure that projects *into* ...Felix S. Klock II-6/+7
2018-10-26Rollup merge of #55358 - sinkuu:redundant_clone2, r=estebankkennytm-1/+1
2018-10-26Rollup merge of #55346 - nnethercote:shrink-StatementKind, r=nagisakennytm-1/+1