about summary refs log tree commit diff
path: root/src/librustc_mir/borrow_check
AgeCommit message (Expand)AuthorLines
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
2018-10-26Remove redundant cloneShotaro Yamada-1/+1
2018-10-26Shrink `Statement`.Nicholas Nethercote-1/+1
2018-10-24port the relate-types code from NLL type-check into a type-opNiko Matsakis-99/+15
2018-10-24introduce (but do not use) `ascribe_user_type` goalNiko Matsakis-0/+1
2018-10-23type_check/mod.rs: rustfmtNiko Matsakis-24/+27
2018-10-23check the self type is well-formedNiko Matsakis-0/+2
2018-10-22stop reporting "unsatisfied lifetime bounds" errors after the firstNiko Matsakis-0/+1
2018-10-22start enforcing closure typesNiko Matsakis-2/+74
2018-10-21Use new region infer errors for explaining borrowsMatthew Jasper-58/+386
2018-10-20Give an error number for "borrowed data escapes outside of closure"Matthew Jasper-3/+2
2018-10-20Use more accurate `ConstraintCategory`sMatthew Jasper-6/+51
2018-10-20Prefer type annotations and returns in free region errorsMatthew Jasper-0/+2
2018-10-20Auto merge of #55014 - ljedrz:lazyboye_unwraps, r=matthewjasperbors-11/+12
2018-10-20Auto merge of #55114 - oli-obk:fx#map, r=nikomatsakisbors-15/+15