| Age | Commit message (Expand) | Author | Lines |
| 2025-10-04 | Rollup merge of #147251 - jackh726:global-cache-non-concurrent-change, r=lcnr | Matthias Krüger | -2/+3 |
| 2025-10-03 | Do not assert that a change in global cache only happens when concurrent | jackh726 | -2/+3 |
| 2025-10-02 | Auto merge of #147138 - jackh726:split-canonical-bound, r=lcnr | bors | -4/+43 |
| 2025-09-30 | Split Bound into Canonical and Bound | jackh726 | -4/+43 |
| 2025-09-27 | Rollup merge of #147075 - Lysxia:no-panic-def-path-hash, r=petrochenkov | Matthias Krüger | -1/+1 |
| 2025-09-26 | Make `def_path_hash_to_def_id` not panic when passed an invalid hash | Li-yao Xia | -1/+1 |
| 2025-09-26 | predefined opaques to `method_autoderef_steps` | lcnr | -1/+10 |
| 2025-09-26 | predefined opaques use `List` | lcnr | -6/+4 |
| 2025-09-17 | Remove `DynKind` | León Orell Valerian Liehr | -1/+1 |
| 2025-09-12 | Introduce hir::ImplItemImplKind | Cameron Steffen | -16/+10 |
| 2025-09-11 | incompletely prefer opaque type bounds when self type bottoms out in infer | Michael Goulet | -1/+5 |
| 2025-09-08 | fixup limit handling code | Jana Dönszelmann | -1/+2 |
| 2025-09-08 | Rollup merge of #146111 - ChayimFriedman2:more-ns-specific-defid, r=lcnr | Matthias Krüger | -1/+27 |
| 2025-09-04 | Don't require next-solver `ProbeRef` to be `Copy` | Chayim Refael Friedman | -2/+2 |
| 2025-09-02 | Migrate more things in the new solver to specific `DefId`s | Chayim Refael Friedman | -1/+27 |
| 2025-08-29 | cleanup proof tree implementation and add cache | lcnr | -2/+13 |
| 2025-08-29 | Auto merge of #145377 - ChayimFriedman2:solver-def-id, r=lcnr | bors | -22/+48 |
| 2025-08-25 | Switch next solver to use a specific associated type for trait def id | Chayim Refael Friedman | -22/+48 |
| 2025-08-24 | Support lints in early attribute parsing | Jana Dönszelmann | -0/+2 |
| 2025-08-21 | next-solver fix const_trait_impl bootstrap | lcnr | -2/+5 |
| 2025-08-09 | rename `TraitRef::from_method` to `from_assoc` | Deadbeef | -5/+2 |
| 2025-08-03 | Rollup merge of #144822 - Zalathar:hash-owner-nodes, r=compiler-errors | Samuel Tardieu | -1/+1 |
| 2025-08-03 | Auto merge of #144677 - nnethercote:bound-const-handling, r=lcnr | bors | -1/+1 |
| 2025-08-02 | Return a struct with named fields from `hash_owner_nodes` | Zalathar | -1/+1 |
| 2025-07-31 | remove rustc_attr_data_structures | Jana Dönszelmann | -2/+2 |
| 2025-07-31 | Make const bound handling more like types/regions. | Nicholas Nethercote | -1/+1 |
| 2025-07-27 | Auto merge of #144434 - nnethercote:preintern-ty-bounds, r=compiler-errors | bors | -7/+28 |
| 2025-07-25 | Pre-intern some `TyKind::Bound` values. | Nicholas Nethercote | -0/+21 |
| 2025-07-25 | Tweak bound region pre-interning. | Nicholas Nethercote | -7/+7 |
| 2025-07-24 | Rollup merge of #144094 - saethlin:codegen-the-main-fn, r=petrochenkov | León Orell Valerian Liehr | -0/+14 |
| 2025-07-24 | Rollup merge of #143374 - cjgillot:bare-extern-crate-map, r=petrochenkov | León Orell Valerian Liehr | -2/+5 |
| 2025-07-23 | Give an AllocId to ConstValue::Slice. | Camille GILLOT | -2/+6 |
| 2025-07-22 | Unquerify extern_mod_stmt_cnum. | Camille GILLOT | -2/+5 |
| 2025-07-21 | Ensure we codegen and don't internalize the entrypoint | Ben Kimock | -0/+14 |
| 2025-07-20 | Unquerify maybe_unused_trait_imports. | Camille GILLOT | -2/+0 |
| 2025-07-18 | Auto merge of #143845 - cjgillot:stability-query, r=jieyouxu | bors | -5/+1 |
| 2025-07-18 | Auto merge of #143545 - compiler-errors:coroutine-obl, r=oli-obk | bors | -0/+16 |
| 2025-07-17 | Retire stability_index query. | Camille GILLOT | -5/+1 |
| 2025-07-17 | Eagerly unify coroutine witness in old solver | Michael Goulet | -11/+7 |
| 2025-07-15 | Add alias for ArgOutlivesPredicate | Michael Goulet | -5/+5 |
| 2025-07-15 | Deduce outlives obligations from WF of coroutine interior types | Michael Goulet | -0/+11 |
| 2025-07-15 | Add outlives to CoroutineWitnessTypes | Michael Goulet | -0/+5 |
| 2025-07-15 | Implement other logics | tiif | -0/+1 |
| 2025-07-15 | Add the core logic in old and new solvers | tiif | -0/+7 |
| 2025-07-05 | Auto merge of #139598 - compiler-errors:no-bound-var-symbol, r=WaffleLapkin | bors | -4/+1 |
| 2025-07-05 | Rollup merge of #143372 - cjgillot:bare-glob-map, r=petrochenkov | Matthias Krüger | -4/+0 |
| 2025-07-04 | Remove Symbol for Named LateParam/Bound variants | Michael Goulet | -4/+1 |
| 2025-07-04 | Reuse metadata file from work products. | Camille GILLOT | -0/+4 |
| 2025-07-04 | Remove names_imported_by_glob_use query. | Camille GILLOT | -4/+0 |
| 2025-07-04 | Auto merge of #143247 - cjgillot:metadata-no-red, r=petrochenkov | bors | -6/+4 |