about summary refs log tree commit diff
path: root/tests/ui/traits
AgeCommit message (Expand)AuthorLines
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
2024-10-19Rollup merge of #131795 - compiler-errors:expectation, r=NadrierilMatthias Krüger-13/+6
2024-10-18Rollup merge of #131864 - lrh2000:upcast_reorder, r=WaffleLapkin许杰友 Jieyou Xu (Joe)-8/+31
2024-10-18Never emit `vptr` for empty/auto traitsRuihan Li-8/+31
2024-10-18Add more testsJules Bertholet-1/+30
2024-10-17Allow dropping dyn principalMichael Goulet-0/+66
2024-10-16Auto merge of #131797 - matthiaskrgr:rollup-lzpze2k, r=matthiaskrgrbors-0/+40
2024-10-16Stop inverting expectation in normalization errorsMichael Goulet-13/+6
2024-10-15Structurally resolve in may_coerceMichael Goulet-0/+40
2024-10-15Bless testsMichael Goulet-60/+36
2024-10-15Register a dummy candidate for failed structural normalization during candiat...Michael Goulet-63/+9
2024-10-15Be better at reporting alias errorsMichael Goulet-177/+94
2024-10-15Make sure the alias is actually rigidMichael Goulet-27/+231
2024-10-15Auto merge of #131747 - compiler-errors:rollup-0fnymws, r=compiler-errorsbors-0/+30
2024-10-15stabilize `-Znext-solver=coherence`lcnr-43/+42
2024-10-14Don't report on_unimplemented for negative traitsMichael Goulet-0/+30
2024-10-11Don't assume traits used as type are trait objsVulnBandit-77/+19
2024-10-10Rollup merge of #131475 - fmease:compiler-mv-obj-safe-dyn-compat-2, r=jieyouxuMatthias Krüger-99/+24
2024-10-10Structurallyresolve adts and tuples expectations tooMichael Goulet-0/+32
2024-10-10UI tests: Rename "object safe" to "dyn compatible"León Orell Valerian Liehr-99/+24
2024-10-07Add test for issue 30867clubby789-0/+14
2024-10-07Add test for issue 30472clubby789-0/+32
2024-10-07Add test for issue 28994clubby789-0/+22
2024-10-04Rollup merge of #131273 - estebank:issue-131051, r=compiler-errorsJubilee-0/+127
2024-10-04Account for `impl Trait {` when `impl Trait for Type {` was intendedEsteban Küber-0/+127