about summary refs log tree commit diff
path: root/src/librustc_mir/borrow_check
AgeCommit message (Expand)AuthorLines
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-03rename TraitItemKind::Method -> FnMark Mansi-2/+2
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
2020-02-14Prepare to use borrowck to resolve opaque typesMatthew Jasper-64/+101
2020-02-14Arena allocate the result of mir_borrowckMatthew Jasper-3/+4
2020-02-13Use an `Iterator` for `MovePath` traversalDylan MacKenzie-6/+5
2020-02-13Check types of statics in MIR typeckMatthew Jasper-2/+16
2020-02-13Check `Copy` lifetimes bounds when copying from a projectionMatthew Jasper-27/+25
2020-02-13Auto merge of #68969 - RalfJung:dont-panic, r=oli-obkbors-6/+6
2020-02-13rename PanicInfo -> AssertKindRalf Jung-6/+6
2020-02-13move PanicInfo to mir moduleRalf Jung-3/+3
2020-02-13Constness -> enum Const { Yes(Span), No }Mazdak Farrokhzad-3/+2
2020-02-12Don't give invalid suggestion on desugared span.spunit262-43/+45
2020-02-12Auto merge of #68241 - ecstatic-morse:unified-dataflow-impls, r=pnkfelixbors-269/+152
2020-02-11Use exhaustive matchingDylan MacKenzie-1/+10
2020-02-11Use new dataflow framework for drop elaboration and borrow checkingDylan MacKenzie-270/+144