| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-08-15 | Revert "Auto merge of #125915 - camelid:const-arg-refactor, r=BoxyUwU" | Boxy | -4/+20 |
| 2024-08-03 | Revert "Rollup merge of #125572 - mu001999-contrib:dead/enhance, r=pnkfelix" | Michael Goulet | -1/+0 |
| 2024-07-16 | Add `ConstArgKind::Path` and make `ConstArg` its own HIR node | Noah Lev | -20/+4 |
| 2024-06-19 | rustc_type_ir: Omit some struct fields from Debug output | León Orell Valerian Liehr | -12/+12 |
| 2024-06-12 | better error message for normalizes-to ambiguities | Michael Goulet | -6/+6 |
| 2024-06-12 | Walk into alias-eq nested goals even if normalization fails | Michael Goulet | -5/+5 |
| 2024-06-11 | Remove DebugWithInfcx | Michael Goulet | -12/+12 |
| 2024-06-11 | Auto merge of #126139 - compiler-errors:specializes, r=lcnr | bors | -11/+11 |
| 2024-06-07 | Only compute specializes query if specialization is enabled in the crate of t... | Michael Goulet | -11/+11 |
| 2024-06-07 | Rollup merge of #125572 - mu001999-contrib:dead/enhance, r=pnkfelix | Matthias Krüger | -0/+1 |
| 2024-06-05 | Detect pub structs never constructed and unused associated constants in traits | r0cky | -0/+1 |
| 2024-06-04 | Orphanck: Consider opaque types to never cover type parameters | León Orell Valerian Liehr | -0/+73 |
| 2024-05-30 | update UI tests | lcnr | -12/+12 |
| 2024-05-29 | Partially implement `ConstArgHasType` | Boxy | -2/+13 |
| 2024-05-28 | eagerly normalize when adding goals | lcnr | -2/+2 |
| 2024-05-24 | Use regular type equating instead of a custom query | Oli Scherer | -0/+27 |
| 2024-05-20 | Move 100 entries from tests/ui into subdirs | Jubilee Young | -0/+27 |
| 2024-05-18 | Fix typos (taking into account review comments) | blyxyas | -1/+1 |
| 2024-05-02 | Use a proof tree visitor to refine the Obligation for error reporting | Michael Goulet | -1/+1 |
| 2024-04-30 | Auto merge of #117164 - fmease:orphan-norm, r=lcnr | bors | -0/+593 |
| 2024-04-30 | Normalize trait ref before orphan check & consider ty params in alias types t... | León Orell Valerian Liehr | -0/+593 |
| 2024-04-24 | Error on using `yield` without also using `#[coroutine]` on the closure | Oli Scherer | -1/+2 |
| 2024-04-09 | Silence some follow-up errors on trait impls in case the trait has conflictin... | Oli Scherer | -53/+7 |
| 2024-04-05 | Rollup merge of #122894 - compiler-errors:downgrade, r=lcnr | Guillaume Gomez | -0/+60 |
| 2024-03-28 | Restrict const ty's regions to static when putting them in canonical var list | Michael Goulet | -0/+34 |
| 2024-03-22 | Move check for error in impl header outside of reporting | Michael Goulet | -0/+60 |
| 2024-03-18 | update region debug formatting | Boxy | -12/+12 |
| 2024-03-10 | Mark some next-solver-behavior tests explicitly with revisions | Michael Goulet | -2/+15 |
| 2024-03-10 | Ignore tests w/ current/next revisions from compare-mode=next-solver | Michael Goulet | -2/+3 |
| 2024-03-07 | Merge `check_mod_impl_wf` and `check_mod_type_wf` | Oli Scherer | -11/+11 |
| 2024-02-29 | Make infer higher ranked equate use bidirectional subtyping in invariant context | Santiago Pastorino | -23/+29 |
| 2024-02-26 | update tests | lcnr | -7/+3 |
| 2024-02-22 | Tweak wording of "implemented trait isn't imported" suggestion | Esteban Küber | -2/+2 |
| 2024-02-20 | some type system cleanup | lcnr | -16/+16 |
| 2024-02-20 | Rollup merge of #121308 - kadiwa4:test_103369, r=TaKO8Ki | Nilstrieb | -0/+53 |
| 2024-02-20 | Rollup merge of #120716 - spastorino:change-some-lint-msgs, r=lcnr | Nilstrieb | -61/+31 |
| 2024-02-19 | Auto merge of #121211 - lcnr:nll-relate-handle-infer, r=BoxyUwU | bors | -8/+8 |
| 2024-02-19 | Remove suspicious auto trait lint | Santiago Pastorino | -50/+20 |
| 2024-02-19 | regression test for #103369 | Kalle Wachsmuth | -0/+53 |
| 2024-02-18 | Change leak check lint message to behavior is likely to change in the future | Santiago Pastorino | -11/+11 |
| 2024-02-17 | move ty var instantiation into the generalize module | lcnr | -8/+8 |
| 2024-02-16 | Use fulfillment in next trait solver coherence | Michael Goulet | -0/+56 |
| 2024-02-16 | [AUTO-GENERATED] Migrate ui tests from `//` to `//@` directives | 许杰友 Jieyou Xu (Joe) | -196/+196 |
| 2024-02-14 | Continue compilation after check_mod_type_wf errors | Oli Scherer | -6/+31 |
| 2024-02-09 | Avoid accessing the HIR in the happy path of `coherent_trait` | Oli Scherer | -12/+12 |
| 2024-02-08 | Auto merge of #120558 - oli-obk:missing_impl_item_ice, r=estebank | bors | -13/+128 |
| 2024-02-07 | Update tests | r0cky | -1/+1 |
| 2024-02-05 | Stop bailing out from compilation just because there were incoherent traits | Oli Scherer | -13/+128 |
| 2024-01-08 | Make inductive cycles in coherence ambiguous always | Michael Goulet | -45/+8 |
| 2023-12-15 | Add higher_ranked to relate submodule | Michael Goulet | -8/+8 |
