about summary refs log tree commit diff
path: root/tests/ui/traits
AgeCommit message (Expand)AuthorLines
2025-01-31Rework "long type names" printing logicEsteban Küber-5/+3
2025-01-31Auto merge of #136350 - matthiaskrgr:rollup-6eqfyvh, r=matthiaskrgrbors-27/+27
2025-01-31Ensure that we never try to monomorphize the upcasting of impossible dyn typesMichael Goulet-0/+26
2025-01-31Manually walk into WF obligations in BestObligation proof tree visitorMichael Goulet-5/+6
2025-01-31Rollup merge of #135860 - fmease:compiler-mv-obj-save-dyn-compat-ii, r=jieyouxuMatthias Krüger-27/+27
2025-01-31Auto merge of #136332 - jhpratt:rollup-aa69d0e, r=jhprattbors-4/+5
2025-01-31Auto merge of #136331 - jhpratt:rollup-curo1f4, r=jhprattbors-37/+102
2025-01-30Use proper type when applying deref adjustment in constMichael Goulet-0/+28
2025-01-30More assertions, tests, and miri coverageMichael Goulet-5/+42
2025-01-30normalize long-type.txt in testsRémy Rakic-4/+5
2025-01-30Normalize vtable entries before walking and deduplicating themMichael Goulet-2/+33
2025-01-30Do not treat vtable supertraits as distinct when bound with different bound varsMichael Goulet-2/+25
2025-01-30Remove print_vtable_sizesMichael Goulet-73/+0
2025-01-30Rework rustc_dump_vtableMichael Goulet-252/+417
2025-01-30merge testslcnr-23/+5
2025-01-30move non_lifetime_binder testslcnr-0/+97
2025-01-30remove redundant testlcnr-14/+0
2025-01-29Rollup merge of #135902 - compiler-errors:item-non-self-bound-in-new-solver, ...León Orell Valerian Liehr-3/+13
2025-01-28Do not assume child bound assumptions for rigid aliasMichael Goulet-3/+13
2025-01-28Rollup merge of #136055 - fee1-dead-contrib:push-ovmyztlkptmk, r=RalfJungMatthias Krüger-10/+228
2025-01-28"normalize" signature before checking mentions selfBoxy-0/+52
2025-01-28add test case for implicitly stable const fnDeadbeef-1/+117
2025-01-28Implement MIR const trait stability checksDeadbeef-10/+112
2025-01-27Remove all dead files inside tests/ui/León Orell Valerian Liehr-86/+0
2025-01-26Compiler: Finalize dyn compatibility renamingLeón Orell Valerian Liehr-27/+27
2025-01-25Fix typo in const stability error messageDeadbeef-1/+1
2025-01-25Rollup merge of #135971 - compiler-errors:self-projection, r=fmeaseMatthias Krüger-3/+20
2025-01-24Properly report error when object type param default references selfMichael Goulet-3/+20
2025-01-23Rollup merge of #135766 - lcnr:candidate-assembly-3, r=compiler-errorsMatthias Krüger-0/+21
2025-01-23Rollup merge of #134746 - compiler-errors:autoderef-norm-non-wf-coerce-ice, r...Matthias Krüger-0/+56
2025-01-22Don't ICE in coerce when autoderef fails to structurally normalize non-WF typ...Michael Goulet-0/+56
2025-01-22Rollup merge of #135866 - BoxyUwU:dont_pick_fnptr_nested_goals, r=lcnrMatthias Krüger-0/+62
2025-01-22Rollup merge of #135816 - BoxyUwU:root_normalizes_to_goal_ice, r=lcnrMatthias Krüger-0/+45
2025-01-22Refactor dyn-compatibility error and suggestionsTaylor Cramer-142/+175
2025-01-22Use `structurally_normalize` instead of manual `normalizes-to` goalsBoxy-0/+45
2025-01-22Don't pick `T: FnPtr` nested goalsBoxy-0/+62
2025-01-21Auto merge of #133830 - compiler-errors:span-key, r=lcnrbors-333/+344
2025-01-20handle global trait bounds defining assoc typelcnr-0/+21
2025-01-18Auto merge of #135618 - lcnr:coherence-unknown, r=compiler-errorsbors-0/+70
2025-01-17add testlcnr-0/+70
2025-01-16Auto merge of #134504 - oli-obk:push-rltsvnyttwll, r=compiler-errorsbors-0/+29
2025-01-15Rollup merge of #135498 - compiler-errors:dyn-upcasting-completeness, r=lcnrGuillaume Gomez-0/+29
2025-01-14Rollup merge of #135425 - compiler-errors:not-conditionally-const, r=RalfJungJubilee-5/+3
2025-01-14Rollup merge of #135423 - compiler-errors:enforce-const-trait-syntactical, r=...Jubilee-5/+108
2025-01-14Rollup merge of #134940 - compiler-errors:scrape, r=lcnrJubilee-0/+13
2025-01-15Rework trait expansion to happen once explicitlyMichael Goulet-333/+344
2025-01-14Make sure to scrape region constraints from deeply normalizing type outlives ...Michael Goulet-0/+13
2025-01-14Enforce syntactical stability of const traits in HIRMichael Goulet-5/+108
2025-01-14Do not consider traits that have unsatisfied const conditions to be condition...Michael Goulet-5/+3
2025-01-14Prefer lower TraitUpcasting candidatesMichael Goulet-0/+29