about summary refs log tree commit diff
path: root/compiler/rustc_borrowck
AgeCommit message (Expand)AuthorLines
2023-05-24Auto merge of #111673 - cjgillot:dominator-preprocess, r=cjgillot,tmiaskobors-8/+3
2023-05-24Use ObligationCtxt in custom type opsMichael Goulet-33/+39
2023-05-24Use `is_some_and`/`is_ok_and` in less obvious spotsMaybe Waffle-10/+5
2023-05-24Use `Option::is_some_and` and `Result::is_ok_and` in the compilerMaybe Waffle-4/+4
2023-05-23Add RegionInferenceContext::outlives_constraintsDominik Stolz-1/+7
2023-05-23Move BodyWithBorrowckFacts to consumersDominik Stolz-31/+34
2023-05-23Make place helpers accessibleDominik Stolz-0/+2
2023-05-23Return promoteds in BodyWithBorrowckFactsDominik Stolz-0/+3
2023-05-23Allow consumers to retrieve borrowck outputJonáš Fiala-48/+111
2023-05-22Check opaques for mismatch during writebackMichael Goulet-0/+2
2023-05-19Leverage the interval property to precompute borrow kill points.Camille GILLOT-50/+77
2023-05-18Take MIR dataflow analyses by mutable reference.Jason Newcomb-12/+15
2023-05-17Compute dominators on demand for borrowck.Camille GILLOT-8/+8
2023-05-17Cache dominators.Camille GILLOT-12/+7
2023-05-16Avoid `&format("...")` calls in error message code.Nicholas Nethercote-4/+4
2023-05-15Move expansion of query macros in rustc_middle to rustc_middle::queryJohn Kåre Alsaker-1/+1
2023-05-13Rollup merge of #110454 - oli-obk:limited_impl_trait_in_assoc_type, r=compile...Dylan DPC-2/+2
2023-05-12Auto merge of #111396 - vlad20012:reduce-Borrows-dataflow-bitset-size, r=cjgi...bors-1/+1
2023-05-12Require `impl Trait` in associated types to appear in method signaturesOli Scherer-2/+2
2023-05-11Rollup merge of #111366 - obeis:ascribe-user-type-variance, r=lcnrMichael Goulet-2/+2
2023-05-10Make `NonUseContext::AscribeUserTy` carry `ty::Variance`Obei Sideg-2/+2
2023-05-09Reduce BitSet size used in `Borrows` dataflow analysisvlad20012-1/+1
2023-05-09Rollup merge of #110583 - Ezrashaw:tweak-make-mut-spans, r=estebankDylan DPC-245/+264
2023-05-08Rollup merge of #110827 - compiler-errors:issue-110761-followup, r=cjgillotDylan DPC-3/+13
2023-05-05fix trait definition spans in "make mut" suggestionEzra Shaw-196/+197
2023-05-05implement review commentEzra Shaw-2/+2
2023-05-05tweak spans for `ref mut` suggestionEzra Shaw-7/+9
2023-05-05tweak "make mut" spans (No. 4)Ezra Shaw-6/+6
2023-05-05tweak "make mut" spans (No. 3)Ezra Shaw-0/+4
2023-05-05tweak "make mut" spans (No. 2)Ezra Shaw-21/+27
2023-05-05tweak "make mut" spans when assigning to localsEzra Shaw-25/+31
2023-05-05Rollup merge of #111132 - lcnr:nll-generalize, r=b-naberYuki Okushi-8/+13
2023-05-04Auto merge of #111014 - klensy:no-rc, r=WaffleLapkinbors-11/+8
2023-05-04Rollup merge of #111100 - BoxyUwU:array_repeat_expr_wf, r=compiler-errorsMatthias Krüger-0/+15
2023-05-04Rollup merge of #110826 - cjgillot:place-mention-use, r=JakobDegen,lcnrMatthias Krüger-6/+4
2023-05-04check array type of repeat exprs is wfBoxy-0/+15
2023-05-04Auto merge of #110806 - WaffleLapkin:unmkI, r=lcnrbors-10/+19
2023-05-03remove `inside_canonicalization_ctxt` flaglcnr-8/+13
2023-05-03Restrict `From<S>` for `{D,Subd}iagnosticMessage`.Nicholas Nethercote-49/+49
2023-05-01Box AssertKindBen Kimock-3/+3
2023-05-01Rollup merge of #110823 - compiler-errors:tweak-await-span, r=b-naberMatthias Krüger-6/+32
2023-04-30Lrc -> Rcklensy-1/+1
2023-04-30RegionInferenceContext: remove Rc from rev_scc_graph fieldklensy-11/+8
2023-04-29Make PlaceMention a non-mutating use.Camille GILLOT-6/+4
2023-04-28Rollup merge of #110960 - lukas-code:unused-mut, r=compiler-errorsMatthias Krüger-6/+7
2023-04-28remove unused `mut`sLukas Markeffsky-1/+1
2023-04-28Fix an ICE in conflict errors diagnosticsMaybe Waffle-1/+1
2023-04-28fix false negative for `unused_mut`Lukas Markeffsky-5/+6
2023-04-27Don't call await a methodMichael Goulet-6/+32
2023-04-26Switch `ty::TraitRef::from_lang_item` from using `TyCtxtAt` to `TyCtxt` and a...Maybe Waffle-6/+8