| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 |
| 2025-02-28 | normalizing where-clauses is also coinductive, add tests | lcnr | -0/+111 |
| 2025-02-28 | remove useless tests | lcnr | -238/+0 |
| 2025-02-27 | Delete tuple unsizing | Alice Ryhl | -6/+0 |
| 2025-02-17 | Deeply normalize associated type bounds before proving them | Michael Goulet | -11/+32 |
| 2025-02-14 | eagerly prove WF when resolving fully qualified paths | lcnr | -0/+39 |
| 2025-02-10 | Show diff suggestion format on verbose replacement | Esteban Küber | -2/+3 |
| 2025-02-06 | remove `feature(trait_upcasting)` from tests and bless them | Waffle Lapkin | -3/+0 |
