about summary refs log tree commit diff
path: root/tests/ui/traits/const-traits
AgeCommit message (Expand)AuthorLines
2025-01-06Recurse on GAT where clauses in fulfillment error proof tree visitorMichael Goulet-18/+14
2025-01-06Add derived causes for host effect predicatesMichael Goulet-8/+15
2025-01-04Auto merge of #135031 - RalfJung:intrinsics-without-body, r=oli-obkbors-5/+1
2025-01-04rustc_intrinsic: support functions without body; they are implicitly marked a...Ralf Jung-5/+1
2025-01-04Rollup merge of #135064 - RalfJung:const-in-pat-partial-eq-not-const, r=compi...Matthias Krüger-0/+54
2025-01-03const-in-pattern: test that the PartialEq impl does not need to be constRalf Jung-0/+54
2025-01-02Move some things to `std::sync::poison` and reexport them in `std::sync`Pavel Grigorenko-1/+1
2024-12-31Suppress host effect predicates if underlying trait doesn't holdMichael Goulet-0/+63
2024-12-24Rollup merge of #134701 - compiler-errors:non-const-def-descr, r=Urgau,fmeaseStuart Cook-35/+35
2024-12-24Rollup merge of #134638 - compiler-errors:fx-item-bounds, r=lcnrStuart Cook-49/+64
2024-12-23Note def descr in NonConstFunctionCallMichael Goulet-35/+35
2024-12-22Fix item bounds in old solverMichael Goulet-49/+64
2024-12-22Flatten effects directory now that it doesn't really test anything specificMichael Goulet-90/+0
2024-12-18Fix const conditions for RPITITsMichael Goulet-13/+221
2024-12-14Rollup merge of #134181 - estebank:trim-render, r=oli-obkMatthias Krüger-8/+0
2024-12-12Filter empty lines, comments and delimiters from previous to last multiline s...Esteban Küber-2/+0
2024-12-12Tweak multispan renderingEsteban Küber-6/+0
2024-12-12Auto merge of #132961 - adetaylor:arbitrary-self-types-the-big-bit, r=compile...bors-0/+10
2024-12-11Arbitrary self types v2: use Receiver traitAdrian Taylor-0/+10
2024-12-11Rollup merge of #134105 - compiler-errors:validate-self-preds, r=wesleywiserJacob Pratt-0/+22
2024-12-10Validate self in host predicates correctlyMichael Goulet-0/+22
2024-12-10Tweak wording of non-const traits used as const boundsEsteban Küber-158/+676
2024-12-07Mention type parameter in more cases and don't suggest ~const bound already t...Esteban Küber-42/+2
2024-12-07reword trait bound suggestion message to include the boundsEsteban Küber-12/+12
2024-12-03Auto merge of #133788 - matthiaskrgr:rollup-1p100a8, r=matthiaskrgrbors-17/+146
2024-12-03Auto merge of #133321 - compiler-errors:const-checker, r=wesleywiserbors-28/+13
2024-12-02Fix const specializationMichael Goulet-10/+116
2024-12-02Reimplement specialization for const traitsMichael Goulet-7/+30
2024-12-01Adjust HostEffect error spans correctly to point at argsMichael Goulet-99/+155
2024-11-30Make compare_impl_item into a queryMichael Goulet-0/+48
2024-11-29Rename `-Zparse-only`.Nicholas Nethercote-3/+3
2024-11-25Constify Drop and DestructMichael Goulet-465/+71
2024-11-23Rollup merge of #133237 - fee1-dead-contrib:constadd, r=compiler-errors许杰友 Jieyou Xu (Joe)-58/+4
2024-11-23Auto merge of #132329 - compiler-errors:fn-and-destruct, r=lcnrbors-14/+151
2024-11-22Check drop is trivial before checking ty needs dropMichael Goulet-69/+8
2024-11-22Deduplicate checking drop terminatorMichael Goulet-7/+8
2024-11-22Gate const drop behind const_destruct feature, and fix const_precise_live_dro...Michael Goulet-13/+123
2024-11-22Implement ~const Destruct in new solverMichael Goulet-5/+92
2024-11-22Bail in effects in old solver if self ty is ty varMichael Goulet-0/+16
2024-11-22Get rid of HIR const checkerMichael Goulet-28/+13
2024-11-21constify `Add`Deadbeef-58/+4
2024-11-21Rollup merge of #133218 - compiler-errors:const-opaque, r=fee1-deadMatthias Krüger-5/+75
2024-11-19Implement ~const Fn trait goals in the new solverMichael Goulet-90/+58
2024-11-19Implement ~const opaquesMichael Goulet-5/+75
2024-11-12Consolidate type system const evaluation under `traits::evaluate_const`Boxy-61/+0
2024-11-09give a hint which feature is missingRalf Jung-4/+23
2024-11-09require const_impl_trait gate for all conditional and trait const callsRalf Jung-321/+177
2024-11-04Rollup merge of #132544 - dianne:unstable-library-feature-backticks, r=compil...Matthias Krüger-1/+1
2024-11-04Fix minicore, add tests based off of itMichael Goulet-129/+97
2024-11-03use backticks instead of single quotes when reporting "use of unstable librar...dianne-1/+1