| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 |
| 2025-02-26 | Use bound_coroutine_witnesses in old solver | Michael Goulet | -2/+2 |
| 2025-02-26 | Use Binder<Vec<T>> instead of Vec<Binder<T>> in new solver | Michael Goulet | -38/+30 |
| 2025-02-19 | Make fewer crates depend on rustc_ast_ir | Michael Goulet | -2/+1 |
| 2025-02-17 | Prefer param-env candidates even when alias's trait bound isn't proven via pa... | Michael Goulet | -8/+29 |
| 2025-02-13 | adjust derive_error | lcnr | -20/+0 |
| 2025-02-13 | normalizes-to rework rigid alias handling | lcnr | -8/+23 |
| 2025-02-13 | Implement and use BikeshedGuaranteedNoDrop for union/unsafe field validity | Michael Goulet | -0/+8 |
| 2025-02-08 | Rustfmt | bjorn3 | -12/+17 |
| 2025-01-28 | Do not assume child bound assumptions for rigid alias | Michael Goulet | -14/+49 |
| 2025-01-08 | Implement const Destruct in old solver | Michael Goulet | -0/+2 |
| 2024-12-22 | Begin to implement type system layer of unsafe binders | Michael Goulet | -1/+16 |
| 2024-12-18 | update new solver candidate assembly | lcnr | -73/+57 |
| 2024-11-28 | support revealing defined opaque post borrowck | lcnr | -1/+3 |
| 2024-11-23 | no more Reveal :( | lcnr | -2/+2 |
| 2024-11-22 | Implement ~const Destruct in new solver | Michael Goulet | -1/+73 |
| 2024-11-21 | Rollup merge of #133218 - compiler-errors:const-opaque, r=fee1-dead | Matthias Krüger | -1/+1 |
| 2024-11-20 | Rip out built-in PointerLike impl | Michael Goulet | -10/+0 |
| 2024-11-19 | Implement ~const Fn trait goals in the new solver | Michael Goulet | -0/+70 |
