| Age | Commit message (Expand) | Author | Lines |
|---|
| 2025-08-22 | On E0277, point at type that doesn't implement bound | Esteban Küber | -2/+2 |
| 2025-08-08 | borrowck: defer opaque type errors | lcnr | -0/+38 |
| 2025-07-31 | Remove the witness type from coroutine args | Michael Goulet | -22/+4 |
| 2025-07-31 | Stall coroutines based off of ty::Coroutine, not ty::CoroutineWitness | Michael Goulet | -9/+6 |
| 2025-07-17 | Eagerly unify coroutine witness in old solver | Michael Goulet | -4/+13 |
| 2025-06-25 | Add edition checks for some tests that had divergent output | Esteban Küber | -5/+53 |
| 2025-05-20 | Just error on recursive opaque ty in HIR typeck | Michael Goulet | -33/+27 |
| 2025-05-09 | move (and remove) impl Trait tests | lcnr | -0/+843 |
| 2025-04-08 | UI tests: add missing diagnostic kinds where possible | Vadim Petrochenkov | -12/+12 |
| 2025-04-03 | add `TypingMode::Borrowck` | lcnr | -29/+37 |
| 2025-03-19 | merge opaque types of nested bodies | lcnr | -23/+1 |
| 2025-03-11 | Implement `#[define_opaque]` attribute for functions. | Oli Scherer | -96/+144 |
| 2025-02-14 | fallout :skull_emoji: | lcnr | -21/+21 |
| 2025-01-03 | Do not project when there are unconstrained impl params | Michael Goulet | -17/+2 |
| 2024-12-14 | (Re-)Implement impl_trait_in_bindings | Michael Goulet | -0/+24 |
| 2024-12-04 | Avoid `opaque type not constrained` errors in the presence of other errors | Oli Scherer | -15/+6 |
| 2024-11-22 | Stabilize the 2024 edition | Eric Huss | -1/+1 |
| 2024-11-02 | Add trait diff highlighting logic and use it in E0277 | Esteban Küber | -2/+4 |
| 2024-10-27 | Move an impl-Trait check from AST validation to AST lowering | León Orell Valerian Liehr | -3/+5 |
| 2024-10-16 | Stop inverting expectation in normalization errors | Michael Goulet | -2/+2 |
| 2024-10-04 | Bless ui tests. | Camille GILLOT | -6/+6 |
| 2024-09-16 | Relate receiver invariantly in method probe for Mode::Path | Michael Goulet | -11/+44 |
| 2024-06-27 | Tighten spans for async blocks | Michael Goulet | -3/+3 |
| 2024-06-12 | Require any function with a tait in its signature to actually constrain a hid... | Oli Scherer | -44/+100 |
| 2024-05-29 | Stop proving outlives constraints on regions we already reported errors on | Oli Scherer | -92/+11 |
| 2024-05-06 | borrowck: more eagerly prepopulate opaques | lcnr | -0/+3 |
| 2024-04-24 | Error on using `yield` without also using `#[coroutine]` on the closure | Oli Scherer | -1/+1 |
| 2024-04-21 | Use sup instead of eq when unifying self type | Michael Goulet | -69/+22 |
| 2024-04-21 | Use fulfillment, not evaluate, during method probe | Michael Goulet | -26/+57 |
| 2024-03-20 | Bless test fallout (duplicate diagnostics) | Michael Goulet | -1/+14 |
| 2024-03-11 | Make `DefiningAnchor::Bind` only store the opaque types that may be constrain... | Oli Scherer | -23/+14 |
| 2024-03-08 | Improve error message for opaque captures | Michael Goulet | -12/+16 |
| 2024-03-07 | Merge collect_mod_item_types query into check_well_formed | Oli Scherer | -12/+12 |
| 2024-03-07 | Merge `check_mod_impl_wf` and `check_mod_type_wf` | Oli Scherer | -2/+17 |
| 2024-03-06 | Auto merge of #121679 - lcnr:opaque-wf-check-2, r=oli-obk | bors | -14/+24 |
| 2024-03-03 | Use root obligation on E0277 for some cases | Esteban Küber | -1/+0 |
| 2024-02-27 | when defining opaques, require the hidden type to be well-formed | lcnr | -14/+24 |
| 2024-02-22 | change error messages to be incorrect, but more helpful | lcnr | -2/+2 |
| 2024-02-22 | do not use <: in subtyping overflow msg | lcnr | -2/+2 |
| 2024-02-22 | overflow errors: change source to a concrete enum | lcnr | -18/+9 |
| 2024-02-22 | freshen: resolve root vars | lcnr | -7/+32 |
| 2024-02-22 | remove `sub_relations` from infcx, recompute in diagnostics | lcnr | -10/+5 |
| 2024-02-16 | [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives | 许杰友 Jieyou Xu (Joe) | -24/+24 |
| 2024-01-15 | Rollup merge of #119818 - oli-obk:even_more_follow_up_errors3, r=compiler-errors | Matthias Krüger | -15/+2 |
| 2024-01-13 | Bless tests | George-lewis | -0/+2 |
| 2024-01-11 | Keep error types around, even in obligations. | Oli Scherer | -15/+2 |
| 2024-01-11 | Use the right level with `-Ztreat-err-as-bug`. | Nicholas Nethercote | -1/+1 |
| 2024-01-09 | Avoid silencing relevant follow-up errors | Oli Scherer | -6/+99 |
| 2024-01-07 | Split note, fix const/static impl trait error | Michael Goulet | -24/+48 |
| 2024-01-02 | Reorder `check_item_type` diagnostics so they occur next to the corresponding... | Oli Scherer | -13/+22 |
