| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-09-29 | cleanup `try_evaluate_added_goals` | lcnr | -14/+5 |
| 2025-09-29 | Fn-trait goals, eagerly instantiate binder | lcnr | -117/+90 |
| 2025-09-28 | Rollup merge of #147061 - lcnr:provisional-cache-woops, r=BoxyUwU | Matthias Krüger | -9/+17 |
| 2025-09-26 | allow method calls on opaques | lcnr | -1/+3 |
| 2025-09-26 | predefined opaques use `List` | lcnr | -9/+6 |
| 2025-09-26 | rename `search_graph::Delegate` fns | lcnr | -2/+2 |
| 2025-09-26 | fix cycle head usages tracking | lcnr | -7/+15 |
| 2025-09-18 | canonical: yeet `EvalCtxt`, mk `Canonicalizer` private | lcnr | -211/+233 |
| 2025-09-18 | move `mod canonical` out of `eval_ctxt` | lcnr | -229/+227 |
| 2025-09-18 | Auto merge of #145993 - lcnr:allow-calling-opaques, r=BoxyUwU | bors | -65/+113 |
| 2025-09-18 | support calls on opaque types :< | lcnr | -65/+113 |
| 2025-09-17 | Remove `DynKind` | León Orell Valerian Liehr | -14/+12 |
| 2025-09-11 | incompletely prefer opaque type bounds when self type bottoms out in infer | Michael Goulet | -13/+168 |
| 2025-09-11 | consider the `sub_unification_table` in `stalled_on` | lcnr | -24/+33 |
| 2025-09-08 | Auto merge of #140375 - lcnr:subrelations-infcx, r=BoxyUwU | bors | -56/+91 |
| 2025-09-08 | Rollup merge of #146111 - ChayimFriedman2:more-ns-specific-defid, r=lcnr | Matthias Krüger | -25/+40 |
| 2025-09-08 | review | lcnr | -4/+10 |
| 2025-09-08 | optimize `CanonicalVarValues::instantiate` | lcnr | -10/+5 |
| 2025-09-08 | pass `sub_relations` into canonical queries | lcnr | -42/+71 |
| 2025-09-08 | inline `CanonicalTyVarKind` | lcnr | -12/+9 |
| 2025-09-08 | eagerly compute `sub_relations` again | lcnr | -5/+13 |
| 2025-09-04 | Don't require next-solver `ProbeRef` to be `Copy` | Chayim Refael Friedman | -2/+2 |
| 2025-09-02 | Auto merge of #145951 - lcnr:proof-tree-as-query, r=compiler-errors | bors | -387/+235 |
| 2025-09-02 | Revert introduction of `[workspace.dependencies]`. | Nicholas Nethercote | -2/+2 |
| 2025-09-02 | Migrate more things in the new solver to specific `DefId`s | Chayim Refael Friedman | -25/+40 |
| 2025-08-29 | cleanup proof tree implementation and add cache | lcnr | -387/+235 |
| 2025-08-29 | Auto merge of #145978 - Zalathar:rollup-0dzk72g, r=Zalathar | bors | -1/+1 |
| 2025-08-29 | Auto merge of #145377 - ChayimFriedman2:solver-def-id, r=lcnr | bors | -81/+89 |
| 2025-08-28 | Add `derive-where` to `[workspace.dependencies]`. | Nicholas Nethercote | -1/+1 |
| 2025-08-27 | Add `tracing` to `[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 | -81/+89 |
| 2025-08-25 | support non-defining uses in HIR typeck | lcnr | -148/+51 |
| 2025-08-23 | Auto merge of #145796 - samueltardieu:rollup-linfi86, r=samueltardieu | bors | -7/+11 |
| 2025-08-22 | change HIR typeck unification handling approach | lcnr | -36/+6 |
| 2025-08-21 | next-solver fix const_trait_impl bootstrap | lcnr | -7/+11 |
| 2025-08-19 | Auto merge of #145600 - jieyouxu:rollup-jw0bpnt, r=jieyouxu | bors | -22/+19 |
| 2025-08-19 | Rollup merge of #145537 - zachs18:metasized-negative-bound-fix, r=davidtwco | 许杰友 Jieyou Xu (Joe) | -4/+13 |
| 2025-08-19 | Rollup merge of #145338 - lcnr:coroutine-witness-yikes, r=compiler-errors | 许杰友 Jieyou Xu (Joe) | -18/+6 |
| 2025-08-17 | Do not consider a `T: !Sized` candidate to satisfy a `T: !MetaSized` obligation. | Zachary S | -4/+13 |
| 2025-08-16 | run spellcheck as a tidy extra check in ci | binarycat | -1/+1 |
| 2025-08-14 | update comment | lcnr | -0/+12 |
| 2025-08-14 | ignore head usages of ignored candidates | lcnr | -54/+138 |
| 2025-08-13 | `fn new_coroutine_witness_for_coroutine` woops | lcnr | -18/+6 |
| 2025-08-11 | significantly improve provisional cache rebasing | lcnr | -1/+3 |
| 2025-08-09 | some `derive_more` refactors | Deadbeef | -4/+12 |
| 2025-08-05 | we only merge candidates for trait and normalizes-to goals | lcnr | -69/+48 |
| 2025-08-04 | Rollup merge of #144694 - compiler-errors:with-self-ty, r=SparrowLii | Stuart Cook | -10/+12 |
| 2025-08-03 | Auto merge of #144732 - lcnr:ignore-shadowed-impls, r=compiler-errors | bors | -3/+24 |
| 2025-08-01 | Auto merge of #144458 - compiler-errors:no-witness-mini, r=lcnr | bors | -10/+21 |
| 2025-07-31 | Remove the witness type from coroutine args | Michael Goulet | -3/+17 |
