| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-07-20 | Consider param-env for fast path | Michael Goulet | -40/+2 |
| 2025-07-04 | Remove Symbol for Named LateParam/Bound variants | Michael Goulet | -1/+1 |
| 2025-07-03 | Remove PointerLike trait | Michael Goulet | -38/+0 |
| 2025-06-30 | Move lazy type alias checks to non-hir-wfck | Oli Scherer | -2/+2 |
| 2025-06-27 | Rollup merge of #142671 - davidtwco:no-default-bounds-attr, r=lcnr | Guillaume Gomez | -82/+99 |
| 2025-06-27 | tests: add #![rustc_no_implicit_bounds] | David Wood | -82/+99 |
| 2025-06-24 | Make missing lifetime suggestion verbose | Michael Goulet | -3/+6 |
| 2025-06-16 | tests: bless remaining tests | David Wood | -2/+40 |
| 2025-06-09 | Apply nested goals certainty to InspectGoals for normalizes-to | Michael Goulet | -7/+21 |
| 2025-06-02 | Fast path for stalled obligations on self ty | Michael Goulet | -5/+2 |
| 2025-05-29 | Structurally normalize types as needed in projection_ty_core | Michael Goulet | -0/+32 |
| 2025-05-21 | Rollup merge of #141347 - lcnr:lets-make-it-unsound-3, r=compiler-errors | Matthias Krüger | -0/+33 |
| 2025-05-21 | fix better_any breakage by making the solver more unsound | lcnr | -0/+33 |
| 2025-05-21 | Rollup merge of #141334 - lcnr:coerce-nested-obligations, r=compiler-errors | Matthias Krüger | -0/+16 |
| 2025-05-21 | Rollup merge of #141333 - compiler-errors:param-env-candidate-unnorm, r=lcnr | Matthias Krüger | -0/+46 |
| 2025-05-21 | eagerly check nested obligations when coercing fndefs | lcnr | -0/+16 |
| 2025-05-21 | Use DeepRejectCtxt in assemble_inherent_candidates_from_param | Michael Goulet | -0/+46 |
| 2025-05-21 | Do not eagerly fold consts in normalize_param_env_or_error if new solver | Michael Goulet | -0/+10 |
| 2025-05-08 | Rollup merge of #140711 - compiler-errors:combine-maybes, r=lcnr | Matthias Krüger | -0/+56 |
| 2025-05-07 | Use MaybeCause::or to allow constraints from overflows if they are combined w... | Michael Goulet | -0/+56 |
| 2025-05-07 | Only prefer param-env candidates if they remain non-global after norm | Michael Goulet | -19/+16 |
| 2025-05-06 | support duplicates in the opaque_types_storage | lcnr | -0/+25 |
| 2025-05-05 | Deeply normalize in the new solver in WF | Michael Goulet | -5/+18 |
| 2025-04-26 | Rollup merge of #140306 - lcnr:specialization-new, r=compiler-errors | Matthias Krüger | -31/+24 |
| 2025-04-25 | Track per-obligation recursion depth only if there is inference | Michael Goulet | -0/+31 |
| 2025-04-25 | handle specialization in the new trait solver | lcnr | -31/+24 |
| 2025-04-24 | norm nested aliases before evaluating the parent goal | lcnr | -0/+45 |
| 2025-04-18 | Don't assemble non-env/bound candidates if projection is rigid | Michael Goulet | -0/+32 |
| 2025-04-17 | Rollup merge of #139774 - compiler-errors:supertrait-alias, r=lcnr | Matthias Krüger | -0/+103 |
| 2025-04-16 | Fix replacing supertrait aliases in ReplaceProjectionWith | Michael Goulet | -0/+103 |
| 2025-04-16 | stepping into impls for norm is unproductive | lcnr | -0/+188 |
| 2025-04-15 | Rollup merge of #139791 - lcnr:ignore-global-where-bounds, r=compiler-errors | Stuart Cook | -4/+25 |
| 2025-04-14 | drop global where-bounds before merging candidates | lcnr | -4/+25 |
| 2025-04-14 | Move `has_self` field to `hir::AssocKind::Fn`. | Nicholas Nethercote | -2/+2 |
| 2025-04-12 | tests: ensure disabled tests have a reason | Jieyou Xu | -1/+1 |
| 2025-04-11 | Auto merge of #139578 - ferrocene:pa-compiletest-edition, r=jieyouxu | bors | -2/+3 |
| 2025-04-10 | Deeply normalize obligations in BestObligation | Michael Goulet | -18/+10 |
| 2025-04-10 | replace `//@ compile-flags: --edition` with `//@ edition` | Pietro Albini | -2/+3 |
| 2025-04-08 | UI tests: add missing diagnostic kinds where possible | Vadim Petrochenkov | -3/+3 |
| 2025-04-03 | add `TypingMode::Borrowck` | lcnr | -16/+63 |
| 2025-03-24 | Allow WellFormed goals to be returned from relating in new solver | Michael Goulet | -0/+48 |
| 2025-03-14 | Do not suggest using `-Zmacro-backtrace` for builtin macros | Esteban Küber | -1/+0 |
| 2025-03-12 | Rollup merge of #137314 - lcnr:cycles-with-unknown-kind, r=compiler-errors | Matthias Krüger | -119/+80 |
| 2025-03-11 | Implement `#[define_opaque]` attribute for functions. | Oli Scherer | -13/+22 |
| 2025-03-05 | Rollup merge of #137728 - Darksonn:no-tuple-unsize, r=oli-obk | 许杰友 Jieyou Xu (Joe) | -6/+0 |
| 2025-03-05 | keep inductive cycles as ambig in coherence | lcnr | -0/+32 |
| 2025-03-05 | change definitely non-productive cycles to error | lcnr | -119/+48 |
| 2025-02-28 | add test using only trait bounds | lcnr | -0/+48 |
| 2025-02-28 | review | lcnr | -2/+10 |
| 2025-02-28 | add test for newly supported behavior | lcnr | -0/+43 |
