summary refs log tree commit diff
path: root/tests/ui/traits/const-traits
AgeCommit message (Expand)AuthorLines
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
2024-11-03Rename the FIXMEs, remove a few that dont matter anymoreMichael Goulet-20/+18
2024-11-03Yeet effects featureMichael Goulet-607/+225
2024-11-03Gate checking ~const bounds on const_trait_implMichael Goulet-131/+21
2024-11-01Completely deny calling functions with const conditions in MIR const check un...Michael Goulet-23/+107
2024-11-01Double-check conditional constness in MIRMichael Goulet-3/+10
2024-10-30Do not enforce ~const constness effects in typeck if rustc_do_mot_const_checkMichael Goulet-1/+13
2024-10-29Remove detail from label/note that is already available in other noteEsteban Küber-1/+1
2024-10-28Hack out effects support for old solverMichael Goulet-142/+94
2024-10-26Pass constness with span into lower_poly_trait_refMichael Goulet-164/+158
2024-10-26Deny calls to non-`#[const_trait]` methods in MIR constckDeadbeef-104/+334
2024-10-25Re-do recursive const stability checksRalf Jung-40/+166
2024-10-24Add support for ~const item boundsMichael Goulet-24/+114
2024-10-24Be better at enforcing that const_conditions is only called on const itemsMichael Goulet-27/+2
2024-10-24Add testsMichael Goulet-0/+513
2024-10-24Add next-solver to more effects testsMichael Goulet-96/+97
2024-10-24Implement const effect predicate in new solverMichael Goulet-949/+368
2024-10-24Remove associated type based effects logicMichael Goulet-80/+0
2024-10-22Rename Receiver -> LegacyReceiverAdrian Taylor-9/+9
2024-10-22Move testsMichael Goulet-0/+7896