| Age | Commit message (Expand) | Author | Lines |
|---|
| 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 | -72/+97 |
| 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 | Rollup merge of #120598 - compiler-errors:no-rigid-check, r=lcnr | Matthias Krüger | -115/+1 |
| 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 | -49/+78 |
| 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 #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 | -30/+115 |
| 2024-02-15 | make better async fn kind errors | Michael Goulet | -30/+115 |
| 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 |
