summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src
AgeCommit message (Expand)AuthorLines
2022-03-07backport fix for #94502lcnr-3/+12
2022-02-19Rollup merge of #94006 - pierwill:upvar-field, r=nikomatsakisMatthias Krüger-9/+17
2022-02-18Auto merge of #94088 - oli-obk:revert, r=jackh726bors-18/+0
2022-02-17Rollup merge of #94011 - est31:let_else, r=lcnrMatthias Krüger-12/+7
2022-02-17Revert "Auto merge of #91403 - cjgillot:inherit-async, r=oli-obk"Oli Scherer-18/+0
2022-02-16Use a `Field` in `ConstraintCategory::ClosureUpvar`pierwill-9/+17
2022-02-16Adopt let_else in even more placesest31-12/+7
2022-02-15Overhaul `Const`.Nicholas Nethercote-6/+6
2022-02-15Remove unnecessary `RegionKind::` quals.Nicholas Nethercote-1/+1
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-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