| Age | Commit message (Expand) | Author | Lines |
| 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 |
| 2024-12-02 | Reimplement specialization for const traits | Michael Goulet | -7/+30 |
| 2024-12-01 | Adjust HostEffect error spans correctly to point at args | Michael Goulet | -99/+155 |
| 2024-11-30 | Make compare_impl_item into a query | Michael Goulet | -0/+48 |
| 2024-11-29 | Rename `-Zparse-only`. | Nicholas Nethercote | -3/+3 |
| 2024-11-25 | Constify Drop and Destruct | Michael Goulet | -465/+71 |
| 2024-11-23 | Rollup merge of #133237 - fee1-dead-contrib:constadd, r=compiler-errors | 许杰友 Jieyou Xu (Joe) | -58/+4 |
| 2024-11-23 | Auto merge of #132329 - compiler-errors:fn-and-destruct, r=lcnr | bors | -14/+151 |
| 2024-11-22 | Check drop is trivial before checking ty needs drop | Michael Goulet | -69/+8 |
| 2024-11-22 | Deduplicate checking drop terminator | Michael Goulet | -7/+8 |
| 2024-11-22 | Gate const drop behind const_destruct feature, and fix const_precise_live_dro... | Michael Goulet | -13/+123 |
| 2024-11-22 | Implement ~const Destruct in new solver | Michael Goulet | -5/+92 |
| 2024-11-22 | Bail in effects in old solver if self ty is ty var | Michael Goulet | -0/+16 |
| 2024-11-22 | Get rid of HIR const checker | Michael Goulet | -28/+13 |
| 2024-11-21 | constify `Add` | Deadbeef | -58/+4 |
| 2024-11-21 | Rollup merge of #133218 - compiler-errors:const-opaque, r=fee1-dead | Matthias Krüger | -5/+75 |
| 2024-11-19 | Implement ~const Fn trait goals in the new solver | Michael Goulet | -90/+58 |
| 2024-11-19 | Implement ~const opaques | Michael Goulet | -5/+75 |
| 2024-11-12 | Consolidate type system const evaluation under `traits::evaluate_const` | Boxy | -61/+0 |
| 2024-11-09 | give a hint which feature is missing | Ralf Jung | -4/+23 |
| 2024-11-09 | require const_impl_trait gate for all conditional and trait const calls | Ralf Jung | -321/+177 |
| 2024-11-04 | Rollup merge of #132544 - dianne:unstable-library-feature-backticks, r=compil... | Matthias Krüger | -1/+1 |
| 2024-11-04 | Fix minicore, add tests based off of it | Michael Goulet | -129/+97 |
| 2024-11-03 | use backticks instead of single quotes when reporting "use of unstable librar... | dianne | -1/+1 |