| Age | Commit message (Expand) | Author | Lines |
| 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 |
| 2024-02-19 | Drive-by `DUMMY_SP` -> `Span` and fmt changes | Esteban Küber | -3/+2 |
| 2024-02-19 | Prefer `DiagnosticBuilder` over `Diagnostic` in diagnostic modifiers. | Nicholas Nethercote | -81/+98 |
| 2024-02-19 | remove outdated comment | lcnr | -1/+1 |
| 2024-02-19 | split `project` into multiple files | lcnr | -770/+785 |
| 2024-02-19 | remove `pred_known_to_hold_modulo_regions` | lcnr | -47/+3 |
| 2024-02-19 | never normalize without eager inference replacement | lcnr | -82/+11 |
| 2024-02-18 | Rollup merge of #121100 - estebank:issue-71252, r=compiler-errors | León Orell Valerian Liehr | -1/+19 |
| 2024-02-17 | Rollup merge of #121193 - compiler-errors:coherence-fulfillment, r=lcnr | Matthias Krüger | -34/+36 |
| 2024-02-17 | Rollup merge of #121085 - davidtwco:always-eager-diagnostics, r=nnethercote | Matthias Krüger | -2/+5 |
| 2024-02-17 | Rollup merge of #121059 - compiler-errors:extension, r=davidtwco,Nilstrieb | Guillaume Boisseau | -728/+58 |
| 2024-02-16 | Use fulfillment in next trait solver coherence | Michael Goulet | -34/+36 |
| 2024-02-16 | Rollup merge of #121111 - trevyn:associated-type-suggestion, r=davidtwco | Guillaume Gomez | -0/+9 |
| 2024-02-16 | Nits | Michael Goulet | -0/+6 |
| 2024-02-16 | Move trait into attr so it's greppable | Michael Goulet | -26/+26 |
| 2024-02-16 | Use extension trait derive | Michael Goulet | -727/+51 |
| 2024-02-16 | Detect when method call on argument could be removed to fulfill failed trait ... | Esteban Küber | -1/+19 |
| 2024-02-16 | Rollup merge of #121119 - compiler-errors:async-fn-kind-errs, r=oli-obk | Guillaume Gomez | -25/+98 |
| 2024-02-15 | make better async fn kind errors | Michael Goulet | -25/+98 |
| 2024-02-15 | Consider principal trait ref's auto-trait super-traits in dyn upcasting | Michael Goulet | -44/+64 |