| 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/+135 |
| 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 | 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 | 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-11 | Make `DefiningAnchor::Bind` only store the opaque types that may be constrain... | Oli Scherer | -13/+6 |
| 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-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 | -16/+15 |
| 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 | -16/+15 |
| 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 | 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 | -7/+4 |
| 2024-03-05 | Convert `TypeVisitor` and `DefIdVisitor` to use `VisitorResult` | Jason Newcomb | -42/+27 |
| 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 `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-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/+13 |
| 2024-03-02 | Rollup merge of #121875 - estebank:e0277-drive-by, r=compiler-errors | Matthias Krüger | -12/+13 |
| 2024-03-02 | Rollup merge of #121739 - jieyouxu:loooong-typename, r=estebank | Matthias Krüger | -48/+62 |
| 2024-03-02 | Account for unmet `T: !Copy` in E0277 message | Esteban Küber | -5/+12 |
| 2024-03-01 | Rollup merge of #121803 - estebank:dont-mention-type-error-e0277, r=compiler-... | Matthias Krüger | -1/+5 |
