Make Sized: Thin

GrigorenkoPV · GrigorenkoPV · commit 7db37a36ac4c · 2025-08-21T12:49:46.000+03:00
diff --git a/library/core/src/marker.rs b/library/core/src/marker.rs
@@ -157,7 +157,7 @@ unsafe impl<T: Sync + PointeeSized> Send for &T {}
 // and we know that the supertraits are always implemented if the subtrait is just by looking at
 // the builtin impls.
 #[rustc_coinductive]
-pub trait Sized: MetaSized {
+pub trait Sized: MetaSized + crate::ptr::Thin {
     // Empty.
 }
 
diff --git a/tests/ui/associated-types/ident-from-macro-expansion.stderr b/tests/ui/associated-types/ident-from-macro-expansion.stderr
@@ -14,7 +14,7 @@ LL |         T::$id
    |            --- due to this macro variable
 ...
 LL |     let x: type_dependent!(T, Assoc);
-   |                               ^^^^^ associated type `Assoc` not found
+   |                               ^^^^^ help: `T` has the following associated type: `Metadata`
 
 error: aborting due to 2 previous errors
 

Original file line number	Diff line number	Diff line change
`@@ -157,7 +157,7 @@ unsafe impl<T: Sync + PointeeSized> Send for &T {}`
`157`	`157`	`// and we know that the supertraits are always implemented if the subtrait is just by looking at`
`158`	`158`	`// the builtin impls.`
`159`	`159`	`#[rustc_coinductive]`
`160`		`-pub trait Sized: MetaSized {`
	`160`	`+pub trait Sized: MetaSized + crate::ptr::Thin {`
`161`	`161`	`// Empty.`
`162`	`162`	`}`
`163`	`163`