| Age | Commit message (Expand) | Author | Lines |
|---|
| 2024-09-05 | stabilize `-Znext-solver=coherence` | lcnr | -79/+67 |
| 2024-09-03 | do not attempt to prove unknowable goals | lcnr | -2/+2 |
| 2024-08-19 | Retroactively feature gate `ConstArgKind::Path` | Boxy | -3/+19 |
| 2024-08-11 | Add more information link to orphan impls | Jonathan Birk | -40/+80 |
| 2024-08-03 | Revert "Rollup merge of #125572 - mu001999-contrib:dead/enhance, r=pnkfelix" | Michael Goulet | -1/+0 |
| 2024-07-30 | Adjust orphan note in tests | Jonathan Birk | -40/+40 |
| 2024-07-30 | Rollup merge of #127574 - lcnr:coherence-check-supertrait, r=compiler-errors | Matthias Krüger | -0/+102 |
| 2024-07-25 | Auto merge of #127042 - GrigorenkoPV:derivative, r=compiler-errors | bors | -12/+12 |
| 2024-07-21 | Auto merge of #127722 - BoxyUwU:new_adt_const_params_limitations, r=compiler-... | bors | -7/+6 |
| 2024-07-17 | Split part of `adt_const_params` into `unsized_const_params` | Boxy | -7/+6 |
| 2024-07-16 | Add `ConstArgKind::Path` and make `ConstArg` its own HIR node | Noah Lev | -20/+4 |
| 2024-07-12 | rustc_type_ir: derivative -> derive-where | Pavel Grigorenko | -12/+12 |
| 2024-07-10 | elaborate unknowable goals | lcnr | -0/+102 |
| 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 |
