| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 #121359 - lcnr:typesystem-cleanup, r=compiler-errors | León Orell Valerian Liehr | -63/+62 |
| 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 | some type system cleanup | lcnr | -63/+62 |
| 2024-02-20 | Rollup merge of #121344 - fmease:lta-constr-by-input, r=oli-obk | Matthias Krüger | -21/+17 |
| 2024-02-20 | Rollup merge of #121322 - compiler-errors:next-solver-fulfillment-ice, r=lcnr | Matthias Krüger | -1/+4 |
| 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 | -84/+105 |
| 2024-02-20 | Rollup merge of #121307 - estebank:drive-by, r=compiler-errors | Nilstrieb | -3/+2 |
| 2024-02-20 | Reduce capabilities of `Diagnostic`. | Nicholas Nethercote | -3/+7 |
| 2024-02-20 | Simply do not ICE | Michael Goulet | -1/+4 |
| 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 | -773/+787 |
| 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 | -37/+41 |
| 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 | -826/+94 |
| 2024-02-16 | Use fulfillment in next trait solver coherence | Michael Goulet | -37/+41 |
| 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 | -40/+40 |
| 2024-02-16 | Use extension trait derive | Michael Goulet | -824/+86 |
| 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/+108 |
| 2024-02-15 | make better async fn kind errors | Michael Goulet | -25/+108 |
| 2024-02-15 | Consider principal trait ref's auto-trait super-traits in dyn upcasting | Michael Goulet | -52/+79 |
| 2024-02-15 | errors: only eagerly translate subdiagnostics | David Wood | -2/+5 |
| 2024-02-15 | Rollup merge of #121105 - compiler-errors:no-const-ty-overflow, r=oli-obk | Matthias Krüger | -12/+15 |
| 2024-02-14 | For E0038, suggest associated type if available | trevyn | -0/+9 |
| 2024-02-14 | Auto merge of #120847 - oli-obk:track_errors9, r=compiler-errors | bors | -2/+3 |
| 2024-02-14 | Do not report overflow errors on ConstArgHasType goals | Michael Goulet | -12/+15 |
| 2024-02-14 | Continue compilation after check_mod_type_wf errors | Oli Scherer | -2/+3 |
| 2024-02-14 | Rollup merge of #121071 - nnethercote:fewer-delayed-bugs, r=oli-obk | Oli Scherer | -15/+18 |
| 2024-02-14 | Rollup merge of #120915 - OdenShirataki:master, r=fmease | Oli Scherer | -3/+3 |
| 2024-02-14 | Use fewer delayed bugs. | Nicholas Nethercote | -15/+18 |
| 2024-02-14 | Auto merge of #120454 - clubby789:cargo-update, r=Nilstrieb | bors | -5/+10 |
| 2024-02-14 | Auto merge of #121055 - matthiaskrgr:rollup-bzn5sda, r=matthiaskrgr | bors | -6/+28 |
| 2024-02-14 | Auto merge of #120942 - compiler-errors:deep-assoc-hang, r=lcnr | bors | -0/+16 |
| 2024-02-13 | Rollup merge of #121047 - compiler-errors:default-impls, r=lcnr | Matthias Krüger | -0/+22 |
