| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-09-30 | add tests | lcnr | -1/+4 |
| 2025-09-29 | Fn-trait goals, eagerly instantiate binder | lcnr | -2/+3 |
| 2025-09-18 | Auto merge of #145993 - lcnr:allow-calling-opaques, r=BoxyUwU | bors | -10/+30 |
| 2025-09-18 | support calls on opaque types :< | lcnr | -10/+30 |
| 2025-09-17 | Remove `DynKind` | León Orell Valerian Liehr | -4/+4 |
| 2025-09-11 | incompletely prefer opaque type bounds when self type bottoms out in infer | Michael Goulet | -7/+130 |
| 2025-09-02 | Migrate more things in the new solver to specific `DefId`s | Chayim Refael Friedman | -4/+4 |
| 2025-08-25 | Switch next solver to use a specific associated type for trait def id | Chayim Refael Friedman | -38/+38 |
| 2025-08-19 | Rollup merge of #145338 - lcnr:coroutine-witness-yikes, r=compiler-errors | 许杰友 Jieyou Xu (Joe) | -18/+6 |
| 2025-08-14 | ignore head usages of ignored candidates | lcnr | -33/+66 |
| 2025-08-13 | `fn new_coroutine_witness_for_coroutine` woops | lcnr | -18/+6 |
| 2025-08-05 | we only merge candidates for trait and normalizes-to goals | lcnr | -30/+13 |
| 2025-08-04 | Rollup merge of #144694 - compiler-errors:with-self-ty, r=SparrowLii | Stuart Cook | -3/+3 |
| 2025-08-03 | Auto merge of #144732 - lcnr:ignore-shadowed-impls, r=compiler-errors | bors | -3/+24 |
| 2025-07-31 | Remove the witness type from coroutine args | Michael Goulet | -3/+17 |
| 2025-07-31 | dont assemble shadowed impl candidates | lcnr | -3/+24 |
| 2025-07-30 | Distinguish appending and replacing self ty in predicates | Michael Goulet | -3/+3 |
| 2025-07-05 | [perf] Skip walking into param-env component if it has no placeholder/re-var | Michael Goulet | -4/+9 |
| 2025-07-01 | Remove support for dyn* | Michael Goulet | -1/+0 |
| 2025-06-30 | Rollup merge of #143066 - compiler-errors:let-chain-solver, r=lcnr | dianqk | -10/+10 |
| 2025-06-27 | Rollup merge of #139858 - oli-obk:new-const-traits-syntax, r=fee1-dead | Matthias Krüger | -8/+8 |
| 2025-06-27 | Use let chains in the new solver | Michael Goulet | -10/+10 |
| 2025-06-26 | Fix some fixmes that were waiting for let chains | Yotam Ofek | -9/+8 |
| 2025-06-26 | Change const trait bound syntax from ~const to [const] | Oli Scherer | -8/+8 |
| 2025-06-16 | trait_sel: `{Meta,Pointee}Sized` on `?Sized` types | David Wood | -46/+44 |
| 2025-06-16 | trait_sel: `{Meta,Pointee}Sized` on `Sized` types | David Wood | -0/+24 |
| 2025-06-13 | TypeVisiting binders no longer requires TypeFolding its interior | Michael Goulet | -1/+1 |
| 2025-06-13 | Replace escaping bound vars in ty/ct visiting, not binder visiting | Michael Goulet | -12/+35 |
| 2025-05-22 | Auto merge of #141396 - matthiaskrgr:rollup-feg050g, r=matthiaskrgr | bors | -2/+2 |
| 2025-05-21 | Fix FnOnce impl for AsyncFn/AsyncFnMut closures in new solver | Michael Goulet | -1/+1 |
| 2025-05-20 | Querify coroutine_hidden_types | Michael Goulet | -2/+2 |
| 2025-05-15 | Rollup merge of #140712 - lcnr:normalization-gat-args, r=compiler-errors | Matthias Krüger | -19/+19 |
| 2025-05-12 | Fix typos | omahs | -1/+1 |
| 2025-05-08 | refactor `probe_and_consider_param_env_candidate` | lcnr | -15/+14 |
| 2025-05-08 | normalization: avoid incompletely constraining GAT args | lcnr | -11/+12 |
| 2025-05-07 | Review | Michael Goulet | -6/+18 |
| 2025-05-07 | Only prefer param-env candidates if they remain non-global after norm | Michael Goulet | -23/+141 |
| 2025-04-29 | Treat `ManuallyDrop` as `~const Destruct` | Oli Scherer | -0/+3 |
| 2025-04-28 | Auto merge of #140388 - GuillaumeGomez:rollup-aj9o3ch, r=GuillaumeGomez | bors | -2/+2 |
| 2025-04-28 | Rollup merge of #140249 - BoxyUwU:remove_weak_alias_terminology, r=oli-obk | Guillaume Gomez | -2/+2 |
| 2025-04-28 | AsyncDrop implementation using shim codegen of async_drop_in_place::{closure}... | Andrew Zhogin | -8/+0 |
| 2025-04-25 | handle specialization in the new trait solver | lcnr | -1/+72 |
| 2025-04-24 | Remove `weak` alias terminology | Boxy | -2/+2 |
| 2025-04-18 | Don't assemble non-env/bound candidates if projection is rigid | Michael Goulet | -33/+54 |
| 2025-04-16 | Remove FIXME that is no longer relevant | Michael Goulet | -6/+0 |
| 2025-04-16 | Fix replacing supertrait aliases in ReplaceProjectionWith | Michael Goulet | -59/+122 |
| 2025-04-14 | normalize: prefer ParamEnv over AliasBound | lcnr | -21/+30 |
| 2025-04-03 | Initial support for auto traits with default bounds | Bryanskiy | -1/+5 |
| 2025-03-15 | Fold visit into ty | Michael Goulet | -2/+3 |
| 2025-03-15 | Squash fold into ty | Michael Goulet | -4/+5 |
