about summary refs log tree commit diff
path: root/compiler/rustc_borrowck/src
AgeCommit message (Expand)AuthorLines
2023-06-07Rollup merge of #112122 - compiler-errors:next-coherence, r=lcnrDylan DPC-2/+2
2023-06-06Auto merge of #112361 - matthiaskrgr:rollup-39zxrw1, r=matthiaskrgrbors-9/+3
2023-06-06Rollup merge of #112358 - Nilstrieb:fancy-more-borrowck-cleanups, r=compiler-...Matthias Krüger-6/+2
2023-06-06Remove default visitor impl in region constraint generationNilstrieb-6/+2
2023-06-06Avoid duplicate type sanitization of local declsNilstrieb-3/+1
2023-06-06New trait solver is a property of inference contextMichael Goulet-2/+2
2023-06-06Rollup merge of #112019 - jieyouxu:issue-111554, r=compiler-errorsMatthias Krüger-6/+22
2023-06-02Simplify pre-order algorithm.Camille GILLOT-51/+43
2023-06-01Rollup merge of #111980 - compiler-errors:unmapped-substs, r=lcnrDylan DPC-9/+13
2023-05-31Auto merge of #112070 - lcnr:disjoint-closure-capture-ub, r=oli-obkbors-3/+2
2023-05-29Rename `tcx.mk_re_*` => `Region::new_*`Maybe Waffle-31/+34
2023-05-29unique borrows are mutating useslcnr-3/+2
2023-05-29Don't suggest changing {ImmRef,MutRef} implicit self to be mutable许杰友 Jieyou Xu (Joe)-6/+22
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-26Wait until type_of to remap HIR opaques back to their defn paramsMichael Goulet-7/+1
2023-05-26Use DefiningAnchor::Bind in infer_opaque_definition_from_instantiationMichael Goulet-2/+12
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-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