user0/rust
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
rust/tests/ui/sized-hierarchy
History
Exact
David Wood 82a4049844
hir_analysis: add missing sizedness bounds 
Default sizedness bounds were not being added to
`explicit_super_predicates_of` and `explicit_implied_predicates_of`
which meant that a trait bound added to a associated type projection
would be missing the implied predicate of the default sizedness
supertrait of that trait.

An unexpected consequence of this change was that the check for multiple
principals was now finding an additional `MetaSized` principal when
eagerly expanding trait aliases. Instead of special-casing trait aliases
as different from traits and not adding a `MetaSized` supertrait to trait
aliases, filter out `MetaSized` when lowering `dyn Trait`.
2025-10-24 15:28:34 +01:00
..
auxiliary trait_sel: print {Meta,Pointee}Sized impl headers 2025-06-16 23:04:34 +00:00
alias-bounds.rs hir_analysis: add {Meta,Pointee}Sized bounds 2025-06-16 23:04:33 +00:00
bound-on-assoc-type-projection-1.rs trait_sel: don't require predicates of aliases hold 2025-10-15 09:35:05 +01:00
bound-on-assoc-type-projection.rs hir_analysis: add missing sizedness bounds 2025-10-24 15:28:34 +01:00
default-bound.rs Reword diagnostic about relaxing non-Sized bound 2025-07-18 12:13:30 +02:00
default-bound.stderr Reword diagnostic about relaxing non-Sized bound 2025-07-18 12:13:30 +02:00
default-supertrait.rs hir_analysis: add missing sizedness bounds 2025-10-24 15:28:34 +01:00
default-supertrait.stderr hir_analysis: add missing sizedness bounds 2025-10-24 15:28:34 +01:00
elaboration-opt-regions-1.rs trait_sel: skip elaboration of sizedness supertrait 2025-06-16 23:04:36 +00:00
elaboration-opt-regions.rs trait_sel: skip elaboration of sizedness supertrait 2025-06-16 23:04:36 +00:00
elaboration-simple.rs hir_analysis: add missing sizedness bounds 2025-10-24 15:28:34 +01:00
extern-type-behind-ptr.rs hir_analysis: add {Meta,Pointee}Sized bounds 2025-06-16 23:04:33 +00:00
impls.rs Remove support for dyn* 2025-07-01 19:00:21 +00:00
impls.stderr Remove support for dyn* 2025-07-01 19:00:21 +00:00
incomplete-inference-issue-143992.rs trait_sel: sizedness goals prefer alias candidates 2025-10-15 09:35:04 +01:00
overflow.current.stderr revert: PR144016 - MetaSized does not always hold 2025-10-15 09:35:04 +01:00
overflow.rs revert: PR144016 - MetaSized does not always hold 2025-10-15 09:35:04 +01:00
pointee-supertrait.rs hir_analysis: add {Meta,Pointee}Sized bounds 2025-06-16 23:04:33 +00:00
pointee-validation.rs HIR ty lowering: Validate PointeeSized bounds 2025-07-18 12:25:24 +02:00
pointee-validation.stderr HIR ty lowering: Validate PointeeSized bounds 2025-07-18 12:25:24 +02:00
prefer-non-nested-alias-bound.rs trait_sel: prefer only nested alias bounds 2025-10-15 09:35:05 +01:00
pretty-print-no-feat-dep-has-feat.rs trait_sel: print {Meta,Pointee}Sized impl headers 2025-06-16 23:04:34 +00:00
pretty-print-no-feat-dep-has-feat.stderr trait_sel: print {Meta,Pointee}Sized impl headers 2025-06-16 23:04:34 +00:00
pretty-print-no-feat.rs trait_sel: print {Meta,Pointee}Sized impl headers 2025-06-16 23:04:34 +00:00
pretty-print-no-feat.stderr trait_sel: print {Meta,Pointee}Sized impl headers 2025-06-16 23:04:34 +00:00
pretty-print-opaque-no-feat.rs middle: print {Meta,Pointee}Sized in opaques 2025-06-16 23:04:34 +00:00
pretty-print-opaque-no-feat.stderr middle: print {Meta,Pointee}Sized in opaques 2025-06-16 23:04:34 +00:00
pretty-print-opaque.rs trait_sel: skip elaboration of sizedness supertrait 2025-06-16 23:04:36 +00:00
pretty-print-opaque.stderr trait_sel: skip elaboration of sizedness supertrait 2025-06-16 23:04:36 +00:00
pretty-print.rs trait_sel: print {Meta,Pointee}Sized impl headers 2025-06-16 23:04:34 +00:00
pretty-print.stderr trait_sel: print {Meta,Pointee}Sized impl headers 2025-06-16 23:04:34 +00:00
reject-dyn-pointeesized.rs HIR ty lowering: Validate PointeeSized bounds 2025-07-18 12:25:24 +02:00
reject-dyn-pointeesized.stderr HIR ty lowering: Validate PointeeSized bounds 2025-07-18 12:25:24 +02:00
trait-alias-elaboration.rs hir_analysis: add missing sizedness bounds 2025-10-24 15:28:34 +01:00
trait-alias-elaboration.stderr hir_analysis: add missing sizedness bounds 2025-10-24 15:28:34 +01:00