summary refs log tree commit diff
path: root/src/librustc_mir/borrow_check
AgeCommit message (Expand)AuthorLines
2020-03-10Rollup merge of #69714 - spastorino:place-ref-lifetime, r=oli-obkMazdak Farrokhzad-41/+39
2020-03-08Rollup merge of #69120 - spunit262:invalid-sugar-suggest, r=matthewjasperMazdak Farrokhzad-43/+45
2020-03-07Rollup merge of #69773 - matthiaskrgr:typos, r=petrochenkovMazdak Farrokhzad-6/+6
2020-03-06Don't redundantly repeat field names (clippy::redundant_field_names)Matthias Krüger-3/+3
2020-03-06fix various typosMatthias Krüger-6/+6
2020-03-04PlaceRef<'a, 'tcx> -> PlaceRef<'tcx>Santiago Pastorino-34/+30
2020-03-04Make PlaceRef lifetimes of is_prefix_of be both 'tcxSantiago Pastorino-4/+4
2020-03-04Make PlaceRef lifetimes of classify_drop_access_kind be both 'tcxSantiago Pastorino-1/+1
2020-03-04Make PlaceRef lifetimes of closure_span be both 'tcxSantiago Pastorino-1/+1
2020-03-04Make PlaceRef lifetimes of move_spans be both 'tcxSantiago Pastorino-1/+1
2020-03-04Make PlaceRef lifetimes of borrowed_content_source be both 'tcxSantiago Pastorino-2/+2
2020-03-04Make PlaceRef lifetimes of describe_field be both 'tcxSantiago Pastorino-1/+1
2020-03-04Make PlaceRef lifetimes of add_moved_or_invoked_closure_note be both 'tcxSantiago Pastorino-1/+1
2020-03-04Make PlaceRef lifetimes of is_upvar_field_projection be both 'tcxSantiago Pastorino-6/+6
2020-03-04Don't use "if let" bindings to only check a value and not actually bind anyth...Matthias Krüger-2/+2
2020-03-04Make PlaceRef lifetimes of move_path_for_place be both 'tcxSantiago Pastorino-1/+1
2020-03-04Make PlaceRef lifetimes of move_path_closest_to be both 'tcxSantiago Pastorino-2/+2
2020-03-04Make PlaceRef lifetimes of uninitialized_error_reported be both 'tcxSantiago Pastorino-1/+1
2020-03-04Make PlaceRef lifetimes of move_error_reported be both 'tcxSantiago Pastorino-9/+10
2020-03-04Make PlaceRef lifetimes of borrow_conflict_place be both 'tcxSantiago Pastorino-4/+5
2020-03-03Make PlaceRef lifetimes of RootPlace be both 'tcxSantiago Pastorino-6/+6
2020-03-03Auto merge of #69482 - lqd:poloniusup, r=nikomatsakisbors-41/+56
2020-03-01Auto merge of #69592 - petrochenkov:nosyntax, r=Centrilbors-1/+1
2020-02-29Rename `syntax` to `rustc_ast` in source codeVadim Petrochenkov-1/+1
2020-02-29Rollup merge of #69572 - matthiaskrgr:try_err_and_iter_on_ref, r=CentrilDylan DPC-1/+1
2020-02-29use .iter() instead of .into_iter() on references.Matthias Krüger-1/+1
2020-02-29use .to_string() instead of format!() macro to create stringsMatthias Krüger-11/+11
2020-02-28Rollup merge of #69481 - matthiaskrgr:single_char, r=ecstatic-morseMazdak Farrokhzad-2/+2
2020-02-27don't use .into() to convert types into identical types.Matthias Krüger-1/+1
2020-02-27- polonius: adapt to the new fact formatAlbin Stjerna-41/+56
2020-02-27Auto merge of #68528 - ecstatic-morse:maybe-init-variants, r=oli-obkbors-6/+5
2020-02-27use char instead of &str for single char patternsMatthias Krüger-2/+2
2020-02-22add generator_kind queryMark Mansi-8/+10
2020-02-22some fixesMark Mansi-13/+2
2020-02-22minor cleanupMark Mansi-4/+4
2020-02-22Generalized article_and_descriptionMark Mansi-13/+33
2020-02-20Auto merge of #69145 - matthewjasper:mir-typeck-static-ty, r=nikomatsakisbors-29/+41
2020-02-17Rename `FunctionRetTy` to `FnRetTy`Yuki Okushi-3/+3
2020-02-16Make librustc_mir compile.Camille GILLOT-45/+47
2020-02-14Add fast path to eq_opaque_type_and_typeMatthew Jasper-0/+16
2020-02-14Fix and test nested impl TraitMatthew Jasper-5/+13
2020-02-14Use member constraint for most opaque types in NLLMatthew Jasper-0/+2
2020-02-14Always check upper bounds when choosing member regionsMatthew Jasper-40/+81
2020-02-14Improve opaque type lifetime errorsMatthew Jasper-14/+36
2020-02-14Handle equal regions in opaque type inferenceMatthew Jasper-18/+70
2020-02-14Show inferred opaque types with `#[rustc_regions]`Matthew Jasper-5/+29
2020-02-14Address review commentsMatthew Jasper-18/+2
2020-02-14Ensure RPIT types get recorded in borrowckMatthew Jasper-7/+27
2020-02-14Avoid unnecessary opaque type errors in borrowckMatthew Jasper-0/+8
2020-02-14Infer opaque type regions in borrow checkingMatthew Jasper-3/+83