| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 | 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 | Stabilize associated type bounds | Michael Goulet | -3/+2 |
| 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-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 |
| 2024-03-05 | Convert `ProofTreeVisitor` to use `VisitorResult` | Jason Newcomb | -31/+28 |
| 2024-03-05 | Convert `TypeVisitor` and `DefIdVisitor` to use `VisitorResult` | Jason Newcomb | -45/+30 |
| 2024-03-05 | Stop using Bubble in coherence and instead emulate it with an intercrate check | Oli Scherer | -2/+0 |
| 2024-03-05 | Rollup merge of #121826 - estebank:e0277-root-obligation-2, r=oli-obk | Matthias Krüger | -5/+54 |
| 2024-03-05 | Rename `SubdiagnosticMessageOp` as `SubdiagMessageOp`. | Nicholas Nethercote | -2/+2 |
| 2024-03-05 | Rename `DiagnosticMessage` as `DiagMessage`. | Nicholas Nethercote | -2/+1 |
| 2024-03-04 | address review feedback | Lukas Markeffsky | -30/+56 |
| 2024-03-04 | suppress fulfillment errors for super projections | Lukas Markeffsky | -31/+38 |
| 2024-03-04 | adjust obligation spans for super projections | Lukas Markeffsky | -35/+57 |
| 2024-03-04 | Rollup merge of #121912 - fmease:diag-method-chains-gat, r=compiler-errors,es... | Matthias Krüger | -16/+14 |
| 2024-03-03 | Use `can_eq` instead of `Ty<'_> == Ty<'_>` | Esteban Küber | -4/+12 |
| 2024-03-03 | Use root obligation on E0277 for some cases | Esteban Küber | -5/+46 |
| 2024-03-03 | Properly deal with GATs when looking for method chains to point at | León Orell Valerian Liehr | -16/+14 |
| 2024-03-02 | Rollup merge of #121895 - matthiaskrgr:devec, r=fee1-dead | Matthias Krüger | -1/+1 |
| 2024-03-02 | avoid collecting into vecs in some places | Matthias Krüger | -1/+1 |
