about summary refs log tree commit diff
path: root/src/librustc_mir/borrow_check
AgeCommit message (Expand)AuthorLines
2019-12-10cleanup polonius liveness fact generation: fix debug! logsRemy Rakic-5/+5
2019-12-10cleanup polonius liveness fact generation: mir visitorRemy Rakic-3/+3
2019-12-10cleanup polonius liveness fact generationRemy Rakic-22/+14
2019-12-09Rollup merge of #67149 - JohnTitor:fix-ice-1, r=Dylan-DPCTyler Mandry-1/+2
2019-12-09Check for `ConstantIndex` move paths correctly in borrowckMatthew Jasper-15/+6
2019-12-09Remove `uniform_array_move_out` passesMatthew Jasper-8/+68
2019-12-09Make const index and subslice array projections more usefulMatthew Jasper-22/+43
2019-12-09Auto merge of #67016 - lqd:placeholder_loans, r=matthewjasperbors-34/+249
2019-12-09Do not ICE on closureYuki Okushi-1/+2
2019-12-09Auto merge of #67004 - estebank:issue-66958, r=eddybbors-9/+10
2019-12-08Rollup merge of #66991 - Nashenas88:body_cache_cleanup, r=eddybMazdak Farrokhzad-49/+49
2019-12-08Rollup merge of #66325 - BartMassey:master, r=joshtriplettMazdak Farrokhzad-1/+1
2019-12-06Do not ICE on async fn with non-Copy infered type argEsteban Küber-9/+10
2019-12-06Rename to `then_some` and `then`varkor-2/+2
2019-12-06Use `to_option` in various placesvarkor-14/+7
2019-12-06appease the vociferous tidyRemy Rakic-7/+22
2019-12-06Implement subset errors using PoloniusRemy Rakic-18/+172
2019-12-06Polonius: emit `placeholder` and `known_subset` facts, as inputs to the subse...Remy Rakic-0/+32
2019-12-06UniversalRegionRelations: add a way to list the base non-transitive `outlives...Remy Rakic-0/+5
2019-12-06update to polonius 0.11 to compute subset errorslqd-13/+22
2019-12-05rustc: Apply clearer naming to BodyAndCache, fix Deref impl, remove unneeded ...Paul Daniel Faria-49/+49
2019-12-06Auto merge of #66911 - eddyb:nicer-rustc_regions, r=matthewjasperbors-12/+10
2019-12-04more privateMark Mansi-6/+7
2019-12-04minor fixMark Mansi-1/+1
2019-12-04fix some importsMark Mansi-83/+93
2019-12-04move region errors to diagnostics moduleMark Mansi-0/+0
2019-12-04fix importsMark Mansi-5/+8
2019-12-04move explain_borrow to diagnosticsMark Mansi-0/+0
2019-12-04fix importsMark Mansi-27/+33
2019-12-04create new borrow_check::diagnostics module and move stuff thereMark Mansi-0/+0
2019-12-03rustc: expose the mir::Body reference lifetime from mir::ReadOnlyBodyCache (#...Eduard-Mihai Burtescu-32/+32
2019-12-02Fix tidy issuesPaul Daniel Faria-39/+51
2019-12-02Fix rebasing errors, convert some BodyCache::body() calls to reborrowsPaul Daniel Faria-15/+15
2019-12-02Fix type errors created during rebasingPaul Daniel Faria-24/+24
2019-12-02Fix type errors cause during rebasingPaul Daniel Faria-1/+1
2019-12-02Remove HasLocalDecls impl from BodyCache's, properly reborrow to Body, rename...Paul Daniel Faria-203/+203
2019-12-02Remove BodyCache.body and rely on Deref as much as possible for ReadOnlyBodyC...Paul Daniel Faria-37/+38
2019-12-02Fix tidy errorsPaul Daniel Faria-28/+85
2019-12-02Fix typos caused during rebasePaul Daniel Faria-3/+3
2019-12-02Fix remaining compilation issuesPaul Daniel Faria-7/+8
2019-12-02Simplify BodyCache impl and fix all remaining type errors in librustc_mir (li...Paul Daniel Faria-50/+49
2019-12-02Add predecessors fn to ReadOnlyBodyCache, fix more Body -> (ReadOnly)BodyCach...Paul Daniel Faria-13/+13
2019-12-02Add read_only fn to BodyCache<&mut...> impl, fix more Body -> (ReadOnly)BodyC...Paul Daniel Faria-40/+39
2019-12-02Fix a large number of Body -> (ReadOnly)BodyCache type errors, add predecesso...Paul Daniel Faria-162/+164
2019-12-02Simplify Cache wrapper to single type, impl Deref on it, fix all compilation ...Paul Daniel Faria-30/+26
2019-12-02Move predecessors cache invalidation back to basic_blocks_mut, add a couple m...Paul Daniel Faria-1/+6
2019-12-02Stop invalidating predecessors cache when accessing unique basic block, inval...Paul Daniel Faria-1/+1
2019-12-02Rollup merge of #66789 - eddyb:mir-source-scope-local-data, r=oli-obkMazdak Farrokhzad-33/+34
2019-11-30rustc_mir: use nicer path printing for #[rustc_regions] NLL tests.Eduard-Mihai Burtescu-12/+10
2019-11-30rustc: move mir::SourceScopeLocalData to a field of SourceScopeData.Eduard-Mihai Burtescu-2/+2