summary refs log tree commit diff
path: root/compiler/rustc_mir/src/borrow_check
AgeCommit message (Expand)AuthorLines
2021-09-04Concrete regions can show up in mir borrowck if the originated from there.Oli Scherer-9/+1
2021-08-20Mir borrowck does not generate lifetime variables for 'static lifetimes durin...Oli Scherer-0/+1
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
2021-06-02Add `Ty::is_union` predicate and use itTomasz Miąsko-18/+13
2021-05-30Do not suggest ampmut if rhs is already mutableDeadbeef-2/+6
2021-05-27replace parent substs of associated types with inference vars in borrow checkb-naber-2/+6
2021-05-23Replace Local::new(1) with CAPTURE_STRUCT_LOCALPaul Trojahn-11/+11
2021-05-17Address review commentsJoshua Nelson-1/+1
2021-05-17New rustdoc lint to respect -Dwarnings correctlyAlexis Bourget-1/+1
2021-05-12Auto merge of #83813 - cbeuw:remap-std, r=michaelwoeristerbors-1/+3
2021-05-11Fix CI problemshamidreza kalbasi-41/+37
2021-05-11Split span_to_string into span_to_diagnostic/embeddable_stringAndy Wang-1/+3
2021-05-10remove big matchhamidreza kalbasi-63/+48
2021-05-10move logic to a functionhamidreza kalbasi-81/+79
2021-05-09Try to fix issue 68049hamidreza kalbasi-10/+103
2021-05-01add docstrings and add issue to FIXMEsChris Pardy-1/+3
2021-05-01Update compiler/rustc_mir/src/borrow_check/diagnostics/explain_borrow.rsChrisPardy-1/+1