about summary refs log tree commit diff
path: root/compiler/rustc_mir/src/borrow_check
AgeCommit message (Expand)AuthorLines
2021-08-01Auto merge of #87449 - matthiaskrgr:clippyy_v2, r=nagisabors-2/+2
2021-07-31Point at unmet explicit lifetime obligation boundEsteban Küber-1/+1
2021-07-30Auto merge of #86754 - estebank:use-multispans-more, r=varkorbors-11/+12
2021-07-31Rollup merge of #87559 - estebank:consider-borrowing, r=oli-obkYuki Okushi-30/+39
2021-07-30Use multispan suggestions more oftenEsteban Küber-11/+12
2021-07-30Tweak borrowing suggestion in `for` loopEsteban Küber-30/+39
2021-07-30Update compiler/rustc_mir/src/borrow_check/consumers.rsNiko Matsakis-0/+2
2021-07-30Auto merge of #87483 - oli-obk:tait_ice, r=lqdbors-0/+1
2021-07-28Rollup merge of #87453 - ibraheemdev:i-68697, r=wesleywiserYuki Okushi-2/+12
2021-07-26Mir borrowck does not generate lifetime variables for 'static lifetimes durin...Oli Scherer-0/+1
2021-07-25fmtibraheemdev-3/+3
2021-07-25fix help message for modification to &T created by &{t}ibraheemdev-9/+7
2021-07-25suggest removing unnecessary \&mut as help messageibraheemdev-2/+12
2021-07-25clippy::useless_formatMatthias Krüger-2/+2
2021-07-22Add a test for get_body_with_borrowck_facts.Vytautas Astrauskas-0/+9
2021-07-22Enable compiler consumers to obtain Body with Polonius facts.Vytautas Astrauskas-17/+91
2021-07-22Resolve nested inference variables.Oli Scherer-19/+7
2021-07-22Remove an unnecessary variableOli Scherer-2/+1
2021-07-22Make mir borrowck's use of opaque types independent of the typeck query's resultOli Scherer-87/+62
2021-07-20Get back the more precise suggestion spans of old regionckOli Scherer-4/+6
2021-07-20Auto merge of #87141 - spastorino:remove_impl_trait_in_bindings, r=oli-obkbors-72/+13
2021-07-18Move mir_def_id inside `eq_opaque_type_and_type`Santiago Pastorino-8/+5
2021-07-18Remove `sub_types_or_anon`Santiago Pastorino-30/+2
2021-07-18Add `sub_types` docsSantiago Pastorino-0/+1
2021-07-18Removing unhandled region constraint error that is only for impl_trait_in_bin...Santiago Pastorino-34/+5
2021-07-18Auto merge of #85686 - ptrojahn:loop_reinitialize, r=estebankbors-18/+74
2021-07-16Add initial implementation of HIR-based WF checking for diagnosticsAaron Hill-17/+19
2021-07-12Auto merge of #86815 - FabianWolff:issue-84210, r=varkorbors-4/+20
2021-07-07Add help on reinitialization between move and accessPaul Trojahn-18/+74
2021-07-06Make type_implements_trait not a queryAman Arora-2/+4
2021-07-04remove some ad-hoc has_infer_types checks that aren't needed anymoreNiko Matsakis-15/+13
2021-07-04allow inference vars in type_implements_traitNiko Matsakis-1/+3
2021-07-02Improve error reporting for modifications behind `&` referencesFabian Wolff-4/+20
2021-06-23Use HTTPS links where possibleSmitty-1/+1
2021-06-18fix typosNiko Matsakis-3/+4
2021-06-18add various coments to explain how the code worksNiko Matsakis-2/+54
2021-06-17Auto merge of #86399 - JohnTitor:rollup-qlm2dvz, r=JohnTitorbors-8/+26
2021-06-17Auto merge of #85755 - b-naber:unexpected_concrete_region, r=nikomatsakisbors-27/+11
2021-06-17use to_region_vid in opaque type codeNiko Matsakis-33/+13
2021-06-16Do not emit invalid suggestions on multiple mutable borrow errorsYuki Okushi-8/+26
2021-06-12Rollup merge of #85823 - fee1-dead:borrowck-0, r=jackh726Yuki Okushi-2/+6
2021-06-08Simplify code by using VecMap::get_bySantiago Pastorino-3/+1
2021-06-07Remove substs from OpaqueTypeDecl, use the one in OpaqueTypeKeySantiago Pastorino-1/+1
2021-06-07Use substs from opaque type key instead of using it from opaque_declSantiago Pastorino-11/+7
2021-06-07Make opaque type map key be of type OpaqueTypeKeySantiago Pastorino-2/+4
2021-06-07Remove ResolvedOpaqueTy and just use Ty, SubstsRef is already thereSantiago Pastorino-27/+18
2021-06-07Make OpaqueTypeKey the key of opaque types mapSantiago Pastorino-28/+34
2021-06-07Change concrete opaque type to be a `VecMap`Santiago Pastorino-2/+3
2021-06-07Change opaque type map to be a `VecMap`Santiago Pastorino-1/+1
2021-06-06Add variance-related information to lifetime error messagesAaron Hill-101/+171