| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 | 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 |
| 2024-03-01 | Rollup merge of #121497 - lcnr:coherence-suggest-increasing-recursion-limit, ... | Matthias Krüger | -51/+118 |
| 2024-03-01 | Avoid silently writing to a file when the involved ty is long | 许杰友 Jieyou Xu (Joe) | -4/+15 |
| 2024-03-01 | Never say "`Trait` is implemented for `{type error}`" | Esteban Küber | -1/+5 |
| 2024-03-01 | Remove a_is_expected from combine relations | Michael Goulet | -6/+3 |
| 2024-03-01 | Get rid of some sub_exp and eq_exp | Michael Goulet | -22/+9 |
| 2024-02-29 | Rollup merge of #121681 - jswrenn:nix-visibility-analysis, r=compiler-errors | Matthias Krüger | -14/+7 |
| 2024-02-29 | Small clean up of E0277 message logic | Esteban Küber | -15/+9 |
| 2024-02-29 | Rollup merge of #121669 - nnethercote:count-stashed-errs-again, r=estebank | Guillaume Gomez | -11/+7 |
| 2024-02-29 | Rollup merge of #121654 - compiler-errors:async-fn-for-fn-def, r=oli-obk | Guillaume Gomez | -6/+16 |
| 2024-02-29 | Rollup merge of #121745 - compiler-errors:refining-impl-trait-deeply-norm, r=... | Jacob Pratt | -0/+9 |
| 2024-02-29 | track overflowing goals for overfow errors | lcnr | -45/+108 |
| 2024-02-29 | distinguish recursion limit based overflow for diagnostics | lcnr | -6/+10 |
| 2024-02-29 | Overhaul how stashed diagnostics work, again. | Nicholas Nethercote | -11/+7 |
| 2024-02-28 | Unify long type name file and note in note_obligation_cause_code | 许杰友 Jieyou Xu (Joe) | -48/+44 |
| 2024-02-28 | Deeply normalize obligations in refining_impl_trait | Michael Goulet | -0/+9 |
| 2024-02-28 | Display short types for unimplemented trait | 许杰友 Jieyou Xu (Joe) | -2/+9 |
| 2024-02-28 | Rename `DiagnosticBuilder` as `Diag`. | Nicholas Nethercote | -104/+87 |
| 2024-02-27 | Don't emit higher-ranked Future obligations when confirm async Fn goals | Michael Goulet | -6/+16 |
| 2024-02-27 | safe transmute: revise safety analysis | Jack Wrenn | -14/+7 |
| 2024-02-26 | Rollup merge of #121617 - compiler-errors:async-closure-kind-check, r=oli-obk | Matthias Krüger | -2/+3 |
| 2024-02-26 | Actually use the right closure kind when checking async Fn goals | Michael Goulet | -2/+3 |
| 2024-02-25 | Rollup merge of #121060 - clubby789:bool-newtypes, r=cjgillot | Matthias Krüger | -4/+19 |
| 2024-02-24 | Auto merge of #121549 - matthiaskrgr:rollup-1hvu3lb, r=matthiaskrgr | bors | -16/+19 |
| 2024-02-23 | compiler: clippy::complexity fixes | Matthias Krüger | -17/+14 |
| 2024-02-23 | delay cloning of iterator items | Matthias Krüger | -16/+19 |
| 2024-02-23 | Rollup merge of #121434 - nnethercote:fix-121208-fallout, r=lcnr | Matthias Krüger | -3/+1 |
| 2024-02-23 | Revert some `span_bug`s to `span_delayed_bug`. | Nicholas Nethercote | -3/+1 |
