| Age | Commit message (Expand) | Author | Lines |
| 2024-04-11 | Revert "remove `pred_known_to_hold_modulo_regions`" | Rémy Rakic | -3/+47 |
| 2024-04-11 | Check def id before calling match_projection_projections | Michael Goulet | -0/+3 |
| 2024-03-28 | Make `#[diagnostic::on_unimplemented]` format string parsing more robust | Georg Semmler | -54/+144 |
| 2024-03-15 | Auto merge of #122571 - matthiaskrgr:rollup-36wwovk, r=matthiaskrgr | bors | -8/+8 |
| 2024-03-15 | Rollup merge of #122560 - jswrenn:not-yet-supported, r=compiler-errors | Matthias Krüger | -8/+8 |
| 2024-03-15 | Auto merge of #122341 - compiler-errors:alias-wfness, r=lcnr | bors | -20/+8 |
| 2024-03-15 | Safe Transmute: lowercase diagnostics | Jack Wrenn | -4/+4 |
| 2024-03-15 | Safe Transmute: Use 'not yet supported', not 'unspecified' in errors | Jack Wrenn | -4/+4 |
| 2024-03-15 | Rollup merge of #122513 - petrochenkov:somehir4, r=fmease | Guillaume Gomez | -13/+12 |
| 2024-03-15 | Rollup merge of #122174 - notriddle:master, r=TaKO8Ki | Matthias Krüger | -10/+50 |
| 2024-03-15 | Auto merge of #122511 - matthiaskrgr:rollup-swzilin, r=matthiaskrgr | bors | -1/+1 |
| 2024-03-14 | hir: Remove `opt_local_def_id_to_hir_id` and `opt_hir_node_by_def_id` | Vadim Petrochenkov | -13/+12 |
| 2024-03-14 | Rollup merge of #122487 - GuillaumeGomez:rename-stmtkind-local, r=oli-obk | Matthias Krüger | -1/+1 |
| 2024-03-14 | Auto merge of #119849 - lcnr:eagerly-instantiate-binders, r=compiler-errors | bors | -23/+49 |
| 2024-03-14 | rebase | lcnr | -1/+1 |
| 2024-03-14 | eagerly instantiate binders to avoid relying on `sub` | lcnr | -22/+48 |
| 2024-03-14 | Consolidate WF for aliases | Michael Goulet | -20/+8 |
| 2024-03-14 | Rollup merge of #122238 - fee1-dead-contrib:builtin-impl-next-solver-dox, r=lcnr | Matthias Krüger | -0/+18 |
| 2024-03-14 | move impl documentation to their actual locations | Deadbeef | -33/+12 |
| 2024-03-14 | Rename `hir::StmtKind::Local` into `hir::StmtKind::Let` | Guillaume Gomez | -1/+1 |
| 2024-03-13 | Rollup merge of #122438 - jswrenn:check-referent-size, r=compiler-errors | Matthias Krüger | -0/+7 |
| 2024-03-13 | safe transmute: require that src referent is smaller than dst | Jack Wrenn | -0/+7 |
| 2024-03-13 | Rollup merge of #122360 - veera-sivarajan:bugfix-121941, r=compiler-errors | Matthias Krüger | -0/+7 |
| 2024-03-12 | Don't Create `ParamCandidate` When Obligation Contains Errors | Veera | -0/+7 |
| 2024-03-12 | Fix discriminant_kind copy paste from the pointee trait case | Daria Sukhonina | -2/+3 |
| 2024-03-12 | Rollup merge of #122319 - compiler-errors:next-solver-normalizing-self-constr... | Matthias Krüger | -1/+3 |
| 2024-03-11 | Don't ICE when non-self part of trait goal is constrained in new solver | Michael Goulet | -1/+3 |
| 2024-03-11 | Eliminate `DefiningAnchor::Error`, it is indistinguishable from `DefiningAnch... | Oli Scherer | -5/+2 |
| 2024-03-11 | Make `DefiningAnchor::Bind` only store the opaque types that may be constrain... | Oli Scherer | -13/+6 |
| 2024-03-11 | Auto merge of #122132 - nnethercote:diag-renaming3, r=nnethercote | bors | -6/+6 |
| 2024-03-11 | Rename `AddToDiagnostic` as `Subdiagnostic`. | Nicholas Nethercote | -4/+4 |
| 2024-03-11 | Rename `IntoDiagnostic` as `Diagnostic`. | Nicholas Nethercote | -4/+4 |
| 2024-03-10 | fix metadata for dyn-star in new solver | Lukas Markeffsky | -2/+3 |
| 2024-03-09 | Rollup merge of #121584 - klensy:itertools-up, r=Mark-Simulacrum | Guillaume Boisseau | -1/+1 |
| 2024-03-09 | Document some builtin impls in the next solver | Deadbeef | -0/+39 |
| 2024-03-09 | Auto merge of #122150 - ShoyuVanilla:replace-typewalker, r=lcnr | bors | -300/+301 |
| 2024-03-08 | diagnostics: suggest `Clone` bounds when noop `clone()` | Michael Howell | -10/+50 |
| 2024-03-08 | Rollup merge of #121563 - Jarcho:use_cf, r=petrochenkov | Matthias Krüger | -14/+13 |
| 2024-03-08 | Replace `TypeWalker` usage with `TypeVisitor` | Shoyu Vanilla | -300/+301 |
| 2024-03-08 | bump itertools to 0.12 | klensy | -1/+1 |
| 2024-03-07 | Rollup merge of #122123 - compiler-errors:object-trait-alias-bounds, r=oli-obk | Guillaume Gomez | -1/+1 |
| 2024-03-07 | Rollup merge of #122043 - Y-Nak:move-early-binder, r=lcnr | Guillaume Gomez | -22/+21 |
| 2024-03-07 | Rollup merge of #121863 - lukas-code:silence-mismatched-super-projections, r=... | Guillaume Gomez | -66/+110 |
| 2024-03-07 | Apply `EarlyBinder` only to `TraitRef` in `ImplTraitHeader` | Yoshitomo Nakanishi | -22/+21 |
| 2024-03-07 | improve debug logging | Lukas Markeffsky | -14/+3 |
| 2024-03-07 | Don't require specifying unrelated assoc types when trait alias is in dyn type | Michael Goulet | -1/+1 |
| 2024-03-06 | remove outdated fixme comment | Deadbeef | -1/+0 |
| 2024-03-06 | Auto merge of #122045 - matthiaskrgr:rollup-5l3vpn7, r=matthiaskrgr | bors | -2/+0 |
| 2024-03-05 | Use `ControlFlow` in HIR visitors | Jason Newcomb | -14/+13 |
| 2024-03-05 | Rollup merge of #121744 - oli-obk:eager_opaque_checks2, r=lcnr | Matthias Krüger | -2/+0 |