about summary refs log tree commit diff
path: root/src/librustc_mir/borrow_check
AgeCommit message (Expand)AuthorLines
2020-05-25Rollup merge of #72544 - sexxi-goose:upvars_mentioned, r=matthewjasperRalf Jung-4/+9
2020-05-24librustc_middle: Rename upvars query to upvars_mentionedAman Arora-4/+9
2020-05-23take mir::PlaceElem by valueBastian Kauschke-16/+16
2020-05-23iterate List by valueBastian Kauschke-9/+9
2020-05-22Remove dead ScopeTree codeMatthew Jasper-4/+0
2020-05-22Remove ReScopeMatthew Jasper-1/+0
2020-05-20introduce newtype'd `Predicate<'tcx>`Bastian Kauschke-7/+9
2020-05-20rename `Predicate` to `PredicateKind`, introduce aliasBastian Kauschke-6/+6
2020-05-20fix is_const_contextBastian Kauschke-1/+1
2020-05-19Auto merge of #69171 - Amanieu:new-asm, r=nagisa,nikomatsakisbors-4/+70
2020-05-18Rollup merge of #71973 - lcnr:lazy-norm, r=nikomatsakisDylan DPC-1/+5
2020-05-18Rollup merge of #71599 - ldm0:fnclo, r=nikomatsakisDylan DPC-1/+1
2020-05-18Add asm! to MIRAmanieu d'Antras-4/+70
2020-05-17add docsBastian Kauschke-0/+2
2020-05-17Assume unevaluated consts are equal to the other consts and add ConstEquate o...Ben Lewis-1/+3
2020-05-13add spans to `require_lang_items`Bastian Kauschke-6/+11
2020-05-13use `require_lang_item` over `unwrap`.Bastian Kauschke-5/+7
2020-05-11borrowck `DefId` -> `LocalDefId`Bastian Kauschke-67/+59
2020-05-11Make MIR typeck use `LocalDefId` and fix docsJonas Schievink-54/+50
2020-05-09Rollup merge of #71555 - cjgillot:nameless, r=matthewjasperRalf Jung-4/+3
2020-05-09Support coercion between (FnDef | Closure) and (FnDef | Closure) when Closure...Donough Liu-1/+1
2020-05-09Rollup merge of #71942 - nnethercote:shrink-LocalDecl, r=matthewjasperDylan DPC-47/+49
2020-05-08Rollup merge of #71993 - ecstatic-morse:cleanup-old-liveness, r=jonas-schievinkDylan DPC-7/+85
2020-05-08Remove ast::{Ident, Name} reexports.Camille GILLOT-4/+3
2020-05-07Remove old `util/liveness.rs` moduleDylan MacKenzie-7/+85
2020-05-06Rollup merge of #70908 - estebank:suggest-add, r=nikomatsakisDylan DPC-2/+1
2020-05-06Rollup merge of #71893 - ecstatic-morse:dataflow-impls-import, r=jonas-schievinkDylan DPC-7/+7
2020-05-06Shrink `LocalDecl` by 16 bytes.Nicholas Nethercote-31/+33
2020-05-06Shrink `LocalDecl` by 56 bytes.Nicholas Nethercote-18/+18
2020-05-05Rollup merge of #71587 - matthewjasper:promoted-move-errors, r=nikomatsakisDylan DPC-6/+42
2020-05-04Import dataflow impls via the `impls` submoduleDylan MacKenzie-7/+7
2020-05-04Suggest restricting type param when it doesn't satisfy projectionEsteban Küber-2/+1
2020-05-04Rollup merge of #71801 - matthewjasper:operator-subtyping, r=varkorDylan DPC-27/+45
2020-05-03Support backward dataflow analysesDylan MacKenzie-5/+5
2020-05-03Correctly check comparison operators in MIR typeckMatthew Jasper-27/+45
2020-05-02Report cannot move errors in promoted MIRMatthew Jasper-6/+42
2020-05-02fix rustdoc warningsTshepang Lekhonkhobe-2/+4
2020-05-01Remove leftover chalk typesJack Huey-5/+0
2020-05-01Auto merge of #70674 - cjgillot:query-arena-all, r=matthewjasperbors-2/+2
2020-04-30Rollup merge of #71449 - ecstatic-morse:free-region-cleanup, r=Mark-SimulacrumDylan DPC-1/+1
2020-04-30Rollup merge of #70950 - nikomatsakis:leak-check-nll-2, r=matthewjasperDylan DPC-52/+118
2020-04-29Rollup merge of #71217 - estebank:tail-borrow-sugg, r=pnkfelixDylan DPC-15/+24
2020-04-28Suggest `;` or assignment to drop borrows in tail exprsEsteban Küber-15/+24
2020-04-28Rollup merge of #71488 - spastorino:normalize-ty-to-fix-broken-mir, r=eddybDylan DPC-0/+1
2020-04-28Use the query system to allocate.Camille GILLOT-2/+2
2020-04-27Accept `LocalDefId` as key for `mir_validated` querymarmeladema-1/+1
2020-04-27Accept `LocalDefId` as key for `mir_borrowck` querymarmeladema-9/+13
2020-04-27Use `LocalDefId` in `typeck_tables_of` and `used_trait_imports` queriesmarmeladema-7/+10
2020-04-26Rollup merge of #71392 - ecstatic-morse:body-predecessor-cache-arc, r=nikomat...Dylan DPC-3/+3
2020-04-24Replace filter_map().next() calls with find_map()Josh Stone-2/+1