| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-09-29 | Fn-trait goals, eagerly instantiate binder | lcnr | -25/+21 |
| 2025-09-17 | Remove `DynKind` | León Orell Valerian Liehr | -7/+5 |
| 2025-09-11 | incompletely prefer opaque type bounds when self type bottoms out in infer | Michael Goulet | -1/+2 |
| 2025-09-02 | Migrate more things in the new solver to specific `DefId`s | Chayim Refael Friedman | -3/+3 |
| 2025-08-25 | Switch next solver to use a specific associated type for trait def id | Chayim Refael Friedman | -17/+23 |
| 2025-08-17 | Do not consider a `T: !Sized` candidate to satisfy a `T: !MetaSized` obligation. | Zachary S | -4/+13 |
| 2025-08-14 | update comment | lcnr | -0/+12 |
| 2025-08-14 | ignore head usages of ignored candidates | lcnr | -10/+33 |
| 2025-08-05 | we only merge candidates for trait and normalizes-to goals | lcnr | -14/+8 |
| 2025-08-04 | Rollup merge of #144694 - compiler-errors:with-self-ty, r=SparrowLii | Stuart Cook | -3/+5 |
| 2025-07-31 | Stall coroutines based off of ty::Coroutine, not ty::CoroutineWitness | Michael Goulet | -7/+4 |
| 2025-07-30 | Distinguish appending and replacing self ty in predicates | Michael Goulet | -3/+5 |
| 2025-07-18 | update comment | lcnr | -4/+2 |
| 2025-07-03 | setup CI and tidy to use typos for spellchecking and fix few typos | klensy | -1/+1 |
| 2025-06-27 | Use one more let chain | Michael Goulet | -24/+23 |
| 2025-06-19 | Apply impl_super_outlives optimization to new trait solver | Michael Goulet | -9/+6 |
| 2025-06-16 | trait_sel: skip elaboration of sizedness supertrait | David Wood | -4/+47 |
| 2025-06-16 | trait_sel: `{Meta,Pointee}Sized` on `?Sized` types | David Wood | -33/+8 |
| 2025-06-16 | trait_sel: `{Meta,Pointee}Sized` on `Sized` types | David Wood | -0/+30 |
| 2025-06-03 | `FIXME(-Znext-solver)` triage | lcnr | -1/+5 |
| 2025-05-21 | fix better_any breakage by making the solver more unsound | lcnr | -2/+42 |
| 2025-05-08 | normalization: avoid incompletely constraining GAT args | lcnr | -3/+4 |
| 2025-05-07 | Review | Michael Goulet | -3/+1 |
| 2025-05-07 | Only prefer param-env candidates if they remain non-global after norm | Michael Goulet | -46/+37 |
| 2025-04-28 | Auto merge of #140388 - GuillaumeGomez:rollup-aj9o3ch, r=GuillaumeGomez | bors | -1/+1 |
| 2025-04-28 | Rollup merge of #140249 - BoxyUwU:remove_weak_alias_terminology, r=oli-obk | Guillaume Gomez | -1/+1 |
| 2025-04-28 | AsyncDrop implementation using shim codegen of async_drop_in_place::{closure}... | Andrew Zhogin | -13/+0 |
| 2025-04-25 | handle specialization in the new trait solver | lcnr | -1/+3 |
| 2025-04-24 | Remove `weak` alias terminology | Boxy | -1/+1 |
| 2025-04-24 | Rollup merge of #140214 - compiler-errors:remove-hack, r=lcnr | Matthias Krüger | -12/+0 |
| 2025-04-23 | Remove hack | Michael Goulet | -12/+0 |
| 2025-04-23 | More | Michael Goulet | -28/+30 |
| 2025-04-22 | Consider Copy/Clone too | Michael Goulet | -0/+17 |
| 2025-04-22 | Properly drain pending obligations for coroutines | Michael Goulet | -0/+15 |
| 2025-04-18 | Don't assemble non-env/bound candidates if projection is rigid | Michael Goulet | -2/+2 |
| 2025-04-16 | Fix replacing supertrait aliases in ReplaceProjectionWith | Michael Goulet | -1/+1 |
| 2025-04-15 | Rollup merge of #139791 - lcnr:ignore-global-where-bounds, r=compiler-errors | Stuart Cook | -2/+6 |
| 2025-04-14 | do not leak auto traits in item bounds | lcnr | -7/+25 |
| 2025-04-14 | drop global where-bounds before merging candidates | lcnr | -2/+6 |
| 2025-04-05 | Fix ProvenVia for global where clauses | Michael Goulet | -2/+10 |
| 2025-04-04 | Auto merge of #138785 - lcnr:typing-mode-borrowck, r=compiler-errors,oli-obk | bors | -0/+1 |
| 2025-04-03 | Initial support for auto traits with default bounds | Bryanskiy | -18/+24 |
| 2025-04-03 | add `TypingMode::Borrowck` | lcnr | -0/+1 |
| 2025-03-15 | Fold visit into ty | Michael Goulet | -2/+2 |
| 2025-03-05 | Rollup merge of #137728 - Darksonn:no-tuple-unsize, r=oli-obk | 许杰友 Jieyou Xu (Joe) | -49/+0 |
| 2025-03-01 | Rollup merge of #137776 - nnethercote:rustc_transmute-cleanups, r=jswrenn | Matthias Krüger | -1/+0 |
| 2025-02-28 | Remove `allow(unused_variables)` for `rustc_transmute`. | Nicholas Nethercote | -1/+0 |
| 2025-02-27 | Delete tuple unsizing | Alice Ryhl | -49/+0 |
| 2025-02-26 | Use Binder<Vec<T>> instead of Vec<Binder<T>> in new solver | Michael Goulet | -9/+7 |
| 2025-02-19 | Make fewer crates depend on rustc_ast_ir | Michael Goulet | -2/+3 |
