| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 | -31/+28 |
| 2024-03-05 | Convert `TypeVisitor` and `DefIdVisitor` to use `VisitorResult` | Jason Newcomb | -45/+31 |
| 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 | 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 |
| 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 | -172/+305 |
| 2024-03-01 | Avoid silently writing to a file when the involved ty is long | 许杰友 Jieyou Xu (Joe) | -4/+15 |
| 2024-03-01 | normalizes-to: handle negative impls | lcnr | -3/+16 |
| 2024-03-01 | Auto merge of #121462 - compiler-errors:eq-and-sub, r=lcnr | bors | -26/+9 |
| 2024-03-01 | Auto merge of #121728 - tgross35:f16-f128-step1-ty-updates, r=compiler-errors | bors | -1/+3 |
| 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 | -23/+9 |
| 2024-02-29 | Rollup merge of #121681 - jswrenn:nix-visibility-analysis, r=compiler-errors | Matthias Krüger | -18/+8 |
| 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 | -92/+230 |
| 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 | stash overflowing obligations in fulfill | lcnr | -12/+75 |
| 2024-02-29 | extract fulfillment err creation | lcnr | -82/+73 |
| 2024-02-29 | distinguish recursion limit based overflow for diagnostics | lcnr | -41/+57 |
| 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 | Add `f16` and `f128` to `rustc_type_ir::FloatTy` and `rustc_abi::Primitive` | Trevor Gross | -1/+3 |
| 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 | -110/+92 |
| 2024-02-27 | Don't emit higher-ranked Future obligations when confirm async Fn goals | Michael Goulet | -6/+16 |
| 2024-02-27 | Add a couple helpers, make return types less confusing | Michael Goulet | -116/+172 |
| 2024-02-27 | Support `{async closure}: Fn` in new solver | Michael Goulet | -1/+73 |
| 2024-02-27 | safe transmute: revise safety analysis | Jack Wrenn | -18/+8 |
| 2024-02-26 | Rollup merge of #121617 - compiler-errors:async-closure-kind-check, r=oli-obk | Matthias Krüger | -2/+3 |
| 2024-02-26 | consider placeholders in `fn term_is_fully_unconstrained` | lcnr | -37/+49 |
| 2024-02-26 | always emit `AliasRelate` goals when relating aliases | lcnr | -219/+232 |
| 2024-02-26 | add additional logging | lcnr | -1/+7 |
| 2024-02-26 | Actually use the right closure kind when checking async Fn goals | Michael Goulet | -2/+3 |
