summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src
AgeCommit message (Expand)AuthorLines
2023-06-03unique borrows are mutating useslcnr-3/+2
2023-05-27Rollup merge of #111983 - compiler-errors:type-op-locally, r=lcnrGuillaume Gomez-1/+1
2023-05-27Rollup merge of #111952 - cjgillot:drop-replace, r=WaffleLapkinGuillaume Gomez-39/+21
2023-05-27Uplift complex type ops back into typeck so we can call them locallyMichael Goulet-1/+1
2023-05-25Remove DesugaringKind::Replace.Camille GILLOT-39/+21
2023-05-25Fallible<_> -> Result<_, NoSolution>Michael Goulet-7/+8
2023-05-25Use ErrorGuaranteed more in MIR type opsMichael Goulet-86/+65
2023-05-25Add InferCtxt::register_hidden_type_in_new_solverMichael Goulet-1/+0
2023-05-25Pre-populate MIR with opaques, prefer subst-relate candidateMichael Goulet-0/+62
2023-05-25Move DefiningAnchorMichael Goulet-3/+6
2023-05-25Auto merge of #111925 - Manishearth:rollup-z6z6l2v, r=Manishearthbors-110/+188
2023-05-24Rollup merge of #111912 - WaffleLapkin:is_some_and_in_the_compiler, r=petroch...Manish Goregaokar-14/+9
2023-05-24Rollup merge of #111840 - voidc:borrowck-consumers, r=oli-obkManish Goregaokar-63/+140
2023-05-24Rollup merge of #111741 - compiler-errors:custom-type-op, r=lcnrManish Goregaokar-33/+39
2023-05-24Rollup merge of #111863 - compiler-errors:check-more-mir, r=b-naberMatthias Krüger-27/+9
2023-05-24Rollup merge of #111759 - cjgillot:interval-kill, r=b-naberMatthias Krüger-50/+77
2023-05-24Don't skip mir typeck if body has errorsMichael Goulet-27/+9
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-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