| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 |
| 2024-02-22 | Auto merge of #119989 - lcnr:sub_relations-bye-bye, r=compiler-errors | bors | -69/+90 |
| 2024-02-22 | change error messages to be incorrect, but more helpful | lcnr | -1/+1 |
| 2024-02-22 | Rollup merge of #121386 - oli-obk:no_higher_ranked_opaques, r=lcnr | Matthias Krüger | -2/+4 |
| 2024-02-22 | do not use <: in subtyping overflow msg | lcnr | -7/+20 |
| 2024-02-22 | overflow errors: change source to a concrete enum | lcnr | -46/+71 |
| 2024-02-22 | freshen: resolve root vars | lcnr | -23/+2 |
| 2024-02-22 | remove `sub_relations` from infcx, recompute in diagnostics | lcnr | -0/+4 |
| 2024-02-22 | Preserve the `Span` from `prove_predicate` all the way to registering opaque ... | Oli Scherer | -2/+4 |
| 2024-02-22 | Replace unnecessary `abort_if_errors`. | Nicholas Nethercote | -9/+2 |
| 2024-02-21 | Rollup merge of #121328 - ffmancera:ff/verbose_long_type, r=compiler-errors | Dylan DPC | -0/+12 |
| 2024-02-21 | Rollup merge of #121208 - nnethercote:delayed_bug-to-bug, r=lcnr | Dylan DPC | -20/+16 |
| 2024-02-21 | Convert `bug`s back to `delayed_bug`s. | Nicholas Nethercote | -10/+10 |
| 2024-02-21 | Convert `delayed_bug`s to `bug`s. | Nicholas Nethercote | -15/+11 |
| 2024-02-20 | Suggest using --verbose when writing type to a file | Fernando Fernandez Mancera | -0/+12 |
| 2024-02-20 | Rollup merge of #121344 - fmease:lta-constr-by-input, r=oli-obk | Matthias Krüger | -21/+17 |
| 2024-02-20 | Introduce expand_weak_alias_tys | León Orell Valerian Liehr | -11/+9 |
| 2024-02-20 | Rename some normalization-related items | León Orell Valerian Liehr | -10/+8 |
| 2024-02-20 | Add newtype for first input type | clubby789 | -4/+19 |
| 2024-02-20 | Auto merge of #120576 - nnethercote:merge-Diagnostic-DiagnosticBuilder, r=dav... | bors | -81/+98 |
| 2024-02-20 | Rollup merge of #121307 - estebank:drive-by, r=compiler-errors | Nilstrieb | -3/+2 |
