summary refs log tree commit diff
path: root/tests/ui/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-18Add reference annotations for diagnostic attributesEric Huss-1/+3
2024-11-15Move diagnostic::on_unimplemented test to the directory with all the other testsEric Huss-51/+0
2024-11-13Rollup merge of #133001 - lcnr:test-next-solver, r=compiler-errorsMatthias Krüger-1/+15
2024-11-13actually test next solverlcnr-1/+15
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 #132559 - bvanjoi:fix-132534, r=compiler-errorsMatthias Krüger-0/+58
2024-11-04Rollup merge of #132544 - dianne:unstable-library-feature-backticks, r=compil...Matthias Krüger-5/+5
2024-11-04Fix minicore, add tests based off of itMichael Goulet-129/+97
2024-11-04find the generic container rather than simply looking up for the assoc with c...bohan-0/+58
2024-11-03use backticks instead of single quotes when reporting "use of unstable librar...dianne-5/+5
2024-11-03Rename the FIXMEs, remove a few that dont matter anymoreMichael Goulet-20/+18
2024-11-03Yeet effects featureMichael Goulet-619/+225
2024-11-03Gate checking ~const bounds on const_trait_implMichael Goulet-131/+21
2024-11-03Rollup merge of #132523 - ranger-ross:test-issue-117446, r=compiler-errorsMatthias Krüger-0/+57
2024-11-02fix testsEsteban Küber-1/+1
2024-11-02Added regression test for 117446ranger-ross-0/+57
2024-11-02Account for negative bounds in E0277 note and suggestionEsteban Küber-18/+0
2024-11-02On long E0277 primary span label, move it to a `help`Esteban Küber-1/+2
2024-11-02Add trait diff highlighting logic and use it in E0277Esteban Küber-2/+4
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-41/+41
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-24Auto merge of #131985 - compiler-errors:const-pred, r=fee1-deadbors-1099/+927
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-24Rollup merge of #132084 - compiler-errors:param-env-with-err, r=lcnr,estebankMatthias Krüger-0/+48
2024-10-24Rollup merge of #131756 - compiler-errors:deeply-normalize-type-err, r=lcnrStuart Cook-0/+34
2024-10-24Deeply normalize type trace in type error reportingMichael Goulet-0/+34
2024-10-24Consider param-env candidates even if they have errorsMichael Goulet-0/+48
2024-10-22Rename Receiver -> LegacyReceiverAdrian Taylor-9/+9
2024-10-21Rollup merge of #132015 - compiler-errors:move-const-trait-tests, r=fee1-deadJubilee-0/+7896
2024-10-22Move testsMichael Goulet-0/+7896
2024-10-21Rollup merge of #132001 - lcnr:stabilize-coherence-again, r=compiler-errorsMatthias Krüger-21/+75
2024-10-21don't bail when encountering many placeholderslcnr-14/+19
2024-10-21normalizes-to disable infer var checklcnr-7/+56
2024-10-21test: Add test for trait in FQS cast, issue #98565Jan Cibulka-0/+24