| Age | Commit message (Expand) | Author | Lines |
| 2023-06-07 | Rollup merge of #112122 - compiler-errors:next-coherence, r=lcnr | Dylan DPC | -2/+2 |
| 2023-06-06 | Auto merge of #112361 - matthiaskrgr:rollup-39zxrw1, r=matthiaskrgr | bors | -9/+3 |
| 2023-06-06 | Rollup merge of #112358 - Nilstrieb:fancy-more-borrowck-cleanups, r=compiler-... | Matthias Krüger | -6/+2 |
| 2023-06-06 | Remove default visitor impl in region constraint generation | Nilstrieb | -6/+2 |
| 2023-06-06 | Avoid duplicate type sanitization of local decls | Nilstrieb | -3/+1 |
| 2023-06-06 | New trait solver is a property of inference context | Michael Goulet | -2/+2 |
| 2023-06-06 | Rollup merge of #112019 - jieyouxu:issue-111554, r=compiler-errors | Matthias Krüger | -6/+22 |
| 2023-06-02 | Simplify pre-order algorithm. | Camille GILLOT | -51/+43 |
| 2023-06-01 | Rollup merge of #111980 - compiler-errors:unmapped-substs, r=lcnr | Dylan DPC | -9/+13 |
| 2023-05-31 | Auto merge of #112070 - lcnr:disjoint-closure-capture-ub, r=oli-obk | bors | -3/+2 |
| 2023-05-29 | Rename `tcx.mk_re_*` => `Region::new_*` | Maybe Waffle | -31/+34 |
| 2023-05-29 | unique borrows are mutating uses | lcnr | -3/+2 |
| 2023-05-29 | Don't suggest changing {ImmRef,MutRef} implicit self to be mutable | 许杰友 Jieyou Xu (Joe) | -6/+22 |
| 2023-05-27 | Rollup merge of #111983 - compiler-errors:type-op-locally, r=lcnr | Guillaume Gomez | -1/+1 |
| 2023-05-27 | Rollup merge of #111952 - cjgillot:drop-replace, r=WaffleLapkin | Guillaume Gomez | -39/+21 |
| 2023-05-27 | Uplift complex type ops back into typeck so we can call them locally | Michael Goulet | -1/+1 |
| 2023-05-26 | Wait until type_of to remap HIR opaques back to their defn params | Michael Goulet | -7/+1 |
| 2023-05-26 | Use DefiningAnchor::Bind in infer_opaque_definition_from_instantiation | Michael Goulet | -2/+12 |
| 2023-05-25 | Remove DesugaringKind::Replace. | Camille GILLOT | -39/+21 |
| 2023-05-25 | Fallible<_> -> Result<_, NoSolution> | Michael Goulet | -7/+8 |
| 2023-05-25 | Use ErrorGuaranteed more in MIR type ops | Michael Goulet | -86/+65 |
| 2023-05-25 | Add InferCtxt::register_hidden_type_in_new_solver | Michael Goulet | -1/+0 |
| 2023-05-25 | Pre-populate MIR with opaques, prefer subst-relate candidate | Michael Goulet | -0/+62 |
| 2023-05-25 | Move DefiningAnchor | Michael Goulet | -3/+6 |
| 2023-05-25 | Auto merge of #111925 - Manishearth:rollup-z6z6l2v, r=Manishearth | bors | -110/+188 |
| 2023-05-24 | Rollup merge of #111912 - WaffleLapkin:is_some_and_in_the_compiler, r=petroch... | Manish Goregaokar | -14/+9 |
| 2023-05-24 | Rollup merge of #111840 - voidc:borrowck-consumers, r=oli-obk | Manish Goregaokar | -63/+140 |
| 2023-05-24 | Rollup merge of #111741 - compiler-errors:custom-type-op, r=lcnr | Manish Goregaokar | -33/+39 |
| 2023-05-24 | Rollup merge of #111863 - compiler-errors:check-more-mir, r=b-naber | Matthias Krüger | -27/+9 |
| 2023-05-24 | Rollup merge of #111759 - cjgillot:interval-kill, r=b-naber | Matthias Krüger | -50/+77 |
| 2023-05-24 | Don't skip mir typeck if body has errors | Michael Goulet | -27/+9 |
| 2023-05-24 | Auto merge of #111673 - cjgillot:dominator-preprocess, r=cjgillot,tmiasko | bors | -8/+3 |
| 2023-05-24 | Use ObligationCtxt in custom type ops | Michael Goulet | -33/+39 |
| 2023-05-24 | Use `is_some_and`/`is_ok_and` in less obvious spots | Maybe Waffle | -10/+5 |
| 2023-05-24 | Use `Option::is_some_and` and `Result::is_ok_and` in the compiler | Maybe Waffle | -4/+4 |
| 2023-05-23 | Add RegionInferenceContext::outlives_constraints | Dominik Stolz | -1/+7 |
| 2023-05-23 | Move BodyWithBorrowckFacts to consumers | Dominik Stolz | -31/+34 |
| 2023-05-23 | Make place helpers accessible | Dominik Stolz | -0/+2 |
| 2023-05-23 | Return promoteds in BodyWithBorrowckFacts | Dominik Stolz | -0/+3 |
| 2023-05-23 | Allow consumers to retrieve borrowck output | Jonáš Fiala | -48/+111 |
| 2023-05-22 | Check opaques for mismatch during writeback | Michael Goulet | -0/+2 |
| 2023-05-19 | Leverage the interval property to precompute borrow kill points. | Camille GILLOT | -50/+77 |
| 2023-05-18 | Take MIR dataflow analyses by mutable reference. | Jason Newcomb | -12/+15 |
| 2023-05-17 | Compute dominators on demand for borrowck. | Camille GILLOT | -8/+8 |
| 2023-05-17 | Cache dominators. | Camille GILLOT | -12/+7 |
| 2023-05-16 | Avoid `&format("...")` calls in error message code. | Nicholas Nethercote | -4/+4 |
| 2023-05-15 | Move expansion of query macros in rustc_middle to rustc_middle::query | John Kåre Alsaker | -1/+1 |
| 2023-05-13 | Rollup merge of #110454 - oli-obk:limited_impl_trait_in_assoc_type, r=compile... | Dylan DPC | -2/+2 |
| 2023-05-12 | Auto merge of #111396 - vlad20012:reduce-Borrows-dataflow-bitset-size, r=cjgi... | bors | -1/+1 |
| 2023-05-12 | Require `impl Trait` in associated types to appear in method signatures | Oli Scherer | -2/+2 |