| Age | Commit message (Expand) | Author | Lines |
| 2025-03-14 | Do not suggest using `-Zmacro-backtrace` for builtin macros | Esteban Küber | -11/+0 |
| 2025-02-27 | require trait impls to have matching const stabilities as the traits | Deadbeef | -1/+100 |
| 2025-02-26 | Rollup merge of #137613 - davidtwco:const-traits-variances, r=compiler-errors | León Orell Valerian Liehr | -0/+21 |
| 2025-02-24 | hir_analysis: skip self type of host effect preds | David Wood | -3/+2 |
| 2025-02-24 | tests: add variance test for const traits | David Wood | -0/+22 |
| 2025-02-24 | trait_sel: resolve vars in host effects | David Wood | -0/+36 |
| 2025-02-17 | Deeply normalize associated type bounds before proving them | Michael Goulet | -11/+0 |
| 2025-02-10 | Show diff suggestion format on verbose replacement | Esteban Küber | -4/+6 |
| 2025-02-03 | Check Sizedness of return type in WF | Michael Goulet | -11/+11 |
| 2025-01-30 | Use proper type when applying deref adjustment in const | Michael Goulet | -0/+28 |
| 2025-01-29 | Rollup merge of #135902 - compiler-errors:item-non-self-bound-in-new-solver, ... | León Orell Valerian Liehr | -3/+13 |
| 2025-01-28 | Do not assume child bound assumptions for rigid alias | Michael Goulet | -3/+13 |
| 2025-01-28 | add test case for implicitly stable const fn | Deadbeef | -1/+117 |
| 2025-01-28 | Implement MIR const trait stability checks | Deadbeef | -10/+112 |
| 2025-01-25 | Fix typo in const stability error message | Deadbeef | -1/+1 |
| 2025-01-14 | Rollup merge of #135425 - compiler-errors:not-conditionally-const, r=RalfJung | Jubilee | -5/+3 |
| 2025-01-14 | Enforce syntactical stability of const traits in HIR | Michael Goulet | -5/+108 |
| 2025-01-14 | Do not consider traits that have unsatisfied const conditions to be condition... | Michael Goulet | -5/+3 |
| 2025-01-09 | Unify conditional and non const call error reporting | Michael Goulet | -16/+16 |
| 2025-01-09 | Add note back to conditionally-const error message | Michael Goulet | -0/+6 |
| 2025-01-08 | Implement const Destruct in old solver | Michael Goulet | -32/+95 |
| 2025-01-06 | Rollup merge of #132345 - compiler-errors:fx-diag, r=lcnr | Jacob Pratt | -8/+11 |
| 2025-01-06 | Rollup merge of #134951 - compiler-errors:double-trait-err-msg, r=davidtwco | Matthias Krüger | -0/+63 |
| 2025-01-06 | Recurse on GAT where clauses in fulfillment error proof tree visitor | Michael Goulet | -18/+14 |
| 2025-01-06 | Add derived causes for host effect predicates | Michael Goulet | -8/+15 |
| 2025-01-04 | Auto merge of #135031 - RalfJung:intrinsics-without-body, r=oli-obk | bors | -5/+1 |
| 2025-01-04 | rustc_intrinsic: support functions without body; they are implicitly marked a... | Ralf Jung | -5/+1 |
| 2025-01-04 | Rollup merge of #135064 - RalfJung:const-in-pat-partial-eq-not-const, r=compi... | Matthias Krüger | -0/+54 |
| 2025-01-03 | const-in-pattern: test that the PartialEq impl does not need to be const | Ralf Jung | -0/+54 |
| 2025-01-02 | Move some things to `std::sync::poison` and reexport them in `std::sync` | Pavel Grigorenko | -1/+1 |
| 2024-12-31 | Suppress host effect predicates if underlying trait doesn't hold | Michael Goulet | -0/+63 |
| 2024-12-24 | Rollup merge of #134701 - compiler-errors:non-const-def-descr, r=Urgau,fmease | Stuart Cook | -35/+35 |
| 2024-12-24 | Rollup merge of #134638 - compiler-errors:fx-item-bounds, r=lcnr | Stuart Cook | -49/+64 |
| 2024-12-23 | Note def descr in NonConstFunctionCall | Michael Goulet | -35/+35 |
| 2024-12-22 | Fix item bounds in old solver | Michael Goulet | -49/+64 |
| 2024-12-22 | Flatten effects directory now that it doesn't really test anything specific | Michael Goulet | -90/+0 |
| 2024-12-18 | Fix const conditions for RPITITs | Michael Goulet | -13/+221 |
| 2024-12-14 | Rollup merge of #134181 - estebank:trim-render, r=oli-obk | Matthias Krüger | -8/+0 |
| 2024-12-12 | Filter empty lines, comments and delimiters from previous to last multiline s... | Esteban Küber | -2/+0 |
| 2024-12-12 | Tweak multispan rendering | Esteban Küber | -6/+0 |
| 2024-12-12 | Auto merge of #132961 - adetaylor:arbitrary-self-types-the-big-bit, r=compile... | bors | -0/+10 |
| 2024-12-11 | Arbitrary self types v2: use Receiver trait | Adrian Taylor | -0/+10 |
| 2024-12-11 | Rollup merge of #134105 - compiler-errors:validate-self-preds, r=wesleywiser | Jacob Pratt | -0/+22 |
| 2024-12-10 | Validate self in host predicates correctly | Michael Goulet | -0/+22 |
| 2024-12-10 | Tweak wording of non-const traits used as const bounds | Esteban Küber | -158/+676 |
| 2024-12-07 | Mention type parameter in more cases and don't suggest ~const bound already t... | Esteban Küber | -42/+2 |
| 2024-12-07 | reword trait bound suggestion message to include the bounds | Esteban Küber | -12/+12 |
| 2024-12-03 | Auto merge of #133788 - matthiaskrgr:rollup-1p100a8, r=matthiaskrgr | bors | -17/+146 |
| 2024-12-03 | Auto merge of #133321 - compiler-errors:const-checker, r=wesleywiser | bors | -28/+13 |
| 2024-12-02 | Fix const specialization | Michael Goulet | -10/+116 |