| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-10-02 | Auto merge of #147138 - jackh726:split-canonical-bound, r=lcnr | bors | -38/+110 |
| 2025-10-01 | Rollup merge of #147226 - jdonszelmann:pattern-types-next-solver, r=lcnr | Matthias Krüger | -0/+1 |
| 2025-10-01 | include outer_inclusive_binder of pattern types | Jana Dönszelmann | -0/+1 |
| 2025-09-30 | Split Bound into Canonical and Bound | jackh726 | -38/+110 |
| 2025-09-30 | Rollup merge of #147109 - BoxyUwU:rename_concrete_opaques, r=lcnr | Stuart Cook | -1/+1 |
| 2025-09-28 | Rollup merge of #147061 - lcnr:provisional-cache-woops, r=BoxyUwU | Matthias Krüger | -47/+101 |
| 2025-09-27 | Rename various "concrete opaque type" terminology to say "hidden type" | Boxy Uwu | -1/+1 |
| 2025-09-26 | predefined opaques use `List` | lcnr | -18/+3 |
| 2025-09-26 | rename `search_graph::Delegate` fns | lcnr | -5/+8 |
| 2025-09-26 | fix cycle head usages tracking | lcnr | -45/+96 |
| 2025-09-18 | Auto merge of #145993 - lcnr:allow-calling-opaques, r=BoxyUwU | bors | -7/+76 |
| 2025-09-18 | support calls on opaque types :< | lcnr | -7/+76 |
| 2025-09-17 | Remove `DynKind` | León Orell Valerian Liehr | -40/+13 |
| 2025-09-11 | incompletely prefer opaque type bounds when self type bottoms out in infer | Michael Goulet | -0/+1 |
| 2025-09-09 | Auto merge of #146375 - matthiaskrgr:rollup-utik9zj, r=matthiaskrgr | bors | -4/+4 |
| 2025-09-09 | Rollup merge of #146373 - calvinhirsch:trait-solver-cycle-head-docs, r=lcnr | Matthias Krüger | -4/+4 |
| 2025-09-09 | fix comments about trait solver cycle heads | calvinhirsch | -4/+4 |
| 2025-09-09 | Driveby fixes | Boxy | -1/+1 |
| 2025-09-09 | erase_regions to erase_and_anonymize_regions | Boxy | -1/+1 |
| 2025-09-08 | Auto merge of #140375 - lcnr:subrelations-infcx, r=BoxyUwU | bors | -41/+71 |
| 2025-09-08 | Rollup merge of #146111 - ChayimFriedman2:more-ns-specific-defid, r=lcnr | Matthias Krüger | -54/+87 |
| 2025-09-08 | review | lcnr | -2/+2 |
| 2025-09-08 | optimize `CanonicalVarValues::instantiate` | lcnr | -0/+33 |
| 2025-09-08 | pass `sub_relations` into canonical queries | lcnr | -7/+12 |
| 2025-09-08 | inline `CanonicalTyVarKind` | lcnr | -40/+31 |
| 2025-09-08 | eagerly compute `sub_relations` again | lcnr | -0/+1 |
| 2025-09-04 | Don't require next-solver `ProbeRef` to be `Copy` | Chayim Refael Friedman | -4/+5 |
| 2025-09-02 | Auto merge of #145951 - lcnr:proof-tree-as-query, r=compiler-errors | bors | -38/+44 |
| 2025-09-02 | Revert introduction of `[workspace.dependencies]`. | Nicholas Nethercote | -6/+6 |
| 2025-09-02 | Migrate more things in the new solver to specific `DefId`s | Chayim Refael Friedman | -54/+87 |
| 2025-08-29 | cleanup proof tree implementation and add cache | lcnr | -38/+44 |
| 2025-08-29 | Auto merge of #145978 - Zalathar:rollup-0dzk72g, r=Zalathar | bors | -3/+3 |
| 2025-08-29 | Auto merge of #145377 - ChayimFriedman2:solver-def-id, r=lcnr | bors | -74/+96 |
| 2025-08-28 | Add `derive-where` to `[workspace.dependencies]`. | Nicholas Nethercote | -1/+1 |
| 2025-08-28 | Add `rustc-hash` to `[workspace.dependencies]`. | Nicholas Nethercote | -1/+1 |
| 2025-08-28 | Add `indexmap` to `[workspace.dependencies]`. | Nicholas Nethercote | -1/+1 |
| 2025-08-27 | Add `tracing` to `[workspace.dependencies]`. | Nicholas Nethercote | -1/+1 |
| 2025-08-27 | Add `bitflags` to `[workspace.dependencies]`. | Nicholas Nethercote | -1/+1 |
| 2025-08-27 | Add `thin-vec` to newly added `[workspace.dependencies]`. | Nicholas Nethercote | -1/+1 |
| 2025-08-25 | Switch next solver to use a specific associated type for trait def id | Chayim Refael Friedman | -74/+96 |
| 2025-08-22 | change HIR typeck unification handling approach | lcnr | -4/+0 |
| 2025-08-21 | Rollup merge of #145712 - notJoon:fix/outdate-link, r=lqd | Jacob Pratt | -1/+1 |
| 2025-08-21 | update early and late bound docs link | Lee ByeongJun | -1/+1 |
| 2025-08-20 | Move `IntoDiagArg` earlier in the dependency chains | Josh Triplett | -3/+48 |
| 2025-08-19 | Rollup merge of #145338 - lcnr:coroutine-witness-yikes, r=compiler-errors | 许杰友 Jieyou Xu (Joe) | -0/+6 |
| 2025-08-14 | ignore head usages of ignored candidates | lcnr | -95/+236 |
| 2025-08-13 | `fn new_coroutine_witness_for_coroutine` woops | lcnr | -0/+6 |
| 2025-08-12 | simplify stack handling, be completely lazy | lcnr | -68/+95 |
| 2025-08-11 | significantly improve provisional cache rebasing | lcnr | -90/+97 |
| 2025-08-10 | Rollup merge of #145147 - fee1-dead-contrib:push-mxxpmlpmzmsz, r=compiler-errors | Stuart Cook | -1/+1 |
