about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src
AgeCommit message (Expand)AuthorLines
2022-02-15Overhaul `RegionKind` and `Region`.Nicholas Nethercote-45/+43
2022-02-15Overhaul `TyS` and `Ty`.Nicholas Nethercote-37/+37
2022-02-13Rollup merge of #90532 - fee1-dead:improve-const-fn-err-msg, r=oli-obkMatthias Krüger-107/+39
2022-02-12Auto merge of #91403 - cjgillot:inherit-async, r=oli-obkbors-0/+18
2022-02-12Handle Fn family trait call errrorDeadbeef-2/+2
2022-02-12Rebased and improved errorsDeadbeef-1/+3
2022-02-12Improve error messages even moreDeadbeef-107/+37
2022-02-12Bless nll tests.Camille GILLOT-0/+18
2022-02-11rework borrowck errors so that it's harder to not set taintedMichael Goulet-69/+112
2022-02-11implement tainted_by_errors in mir borrowckMichael Goulet-52/+67
2022-02-11Auto merge of #93893 - oli-obk:sad_revert, r=oli-obkbors-257/+260
2022-02-11Revert "Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakis"Oli Scherer-138/+238
2022-02-11Revert "Auto merge of #92306 - Aaron1011:opaque-type-op, r=oli-obk"Oli Scherer-143/+46
2022-02-10Remove further usage of `&hir::Map`Frank Steffahn-2/+2
2022-02-08Improve opaque type higher-ranked region error message under NLLAaron Hill-46/+143
2022-02-07Auto merge of #92007 - oli-obk:lazy_tait2, r=nikomatsakisbors-238/+138
2022-02-02Propagate `use_polonius` flag to liveness moduleConnor Fogarty-2/+13
2022-02-02Rollup merge of #93590 - est31:let_else, r=lcnrMatthias Krüger-75/+67
2022-02-02Rollup merge of #93221 - alyssaverkade:fix-93093, r=wesleywiserMatthias Krüger-6/+26
2022-02-02More let_else adoptionsest31-75/+67
2022-02-02Avoid an ICE in the presence of HKLOli Scherer-0/+4
2022-02-02Reduce follow-up errors that are not helpfulOli Scherer-3/+9
2022-02-02Fixup changes that aren't neccessary anymoreOli Scherer-5/+0
2022-02-02This can't happen anymore. An opaque type can't end up with itself as its hid...Oli Scherer-37/+4
2022-02-02We're equating hidden types eagerly nowOli Scherer-4/+0
2022-02-02Clean up leftovers from eager hidden type mergingOli Scherer-28/+23
2022-02-02Register member constraints on the final merged hidden typeOli Scherer-36/+22
2022-02-02Lazily resolve type-alias-impl-trait defining usesOli Scherer-216/+156
2022-02-02Expose current span to type equality checking in nllOli Scherer-0/+8
2022-02-02Found suspicious comparison of constantsOli Scherer-0/+3
2022-02-02Add roll back infrastructure for opaque type cachesOli Scherer-3/+3
2022-02-01add a rustc::query_stability lintlcnr-0/+1
2022-01-25Auto merge of #93095 - Aaron1011:remove-assoc-ident, r=cjgillotbors-1/+1
2022-01-25Auto merge of #93089 - pierwill:rm-outlivesconstraint-ord, r=michaelwoeristerbors-3/+3
2022-01-22Normalize field access types during borrowckMichael Goulet-0/+1
2022-01-22[borrowck] Fix help on mutating &self in async fnsAlyssa Verkade-6/+26
2022-01-21Rollup merge of #92467 - Aaron1011:extern-local-region, r=oli-obkMatthias Krüger-16/+25
2022-01-19Store a `Symbol` instead of an `Ident` in `AssocItem`Aaron Hill-1/+1
2022-01-19Remove ordering traits from `rustc_borrowck::constraints::OutlivesConstraint`pierwill-3/+3
2022-01-17Use Term in ProjectionPredicatekadmin-1/+4
2022-01-17Auto merge of #92816 - tmiasko:rm-llvm-asm, r=Amanieubors-126/+18
2022-01-16Auto merge of #92805 - BoxyUwU:revert-lazy-anon-const-substs, r=lcnrbors-3/+3
2022-01-15Reduce use of local_def_id_to_hir_id.Camille GILLOT-37/+34
2022-01-15Return a LocalDefId in get_parent_item.Camille GILLOT-2/+2
2022-01-15Rollup merge of #92625 - inquisitivecrystal:mirbug-caller, r=michaelwoeristerMatthias Krüger-0/+1
2022-01-15initial revertEllen-3/+3
2022-01-13Auto merge of #89861 - nbdd0121:closure, r=wesleywiserbors-6/+5
2022-01-12Remove no longer used `MutateMode` enumTomasz Miąsko-54/+18
2022-01-12Remove deprecated LLVM-style inline assemblyTomasz Miąsko-74/+2
2022-01-11Store a `Symbol` instead of an `Ident` in `VariantDef`/`FieldDef`Aaron Hill-1/+1