library: add {Pointee,Meta}Sized to next prelude

Its strange to have to import sizedness traits, so add them to the
prelude in the next edition.

Author: davidtwco

library/core/src/prelude/mod.rs

@@ -92,4 +92,8 @@ pub mod rust_future {
     #[stable(feature = "prelude_2024", since = "1.85.0")]
     #[doc(no_inline)]
     pub use crate::future::{Future, IntoFuture};
+
+    #[unstable(feature = "prelude_next", issue = "none")]
+    #[doc(no_inline)]
+    pub use crate::marker::{MetaSized, PointeeSized};
 }

tests/ui/sized-hierarchy/constness.rs

@@ -3,8 +3,6 @@
 #![allow(internal_features)]
 #![feature(rustc_attrs, const_trait_impl, sized_hierarchy)]
 
-use std::marker::MetaSized;
-
 #[rustc_non_const_sized]
 struct NotConstSized;
 

tests/ui/sized-hierarchy/constness.stderr

@@ -1,5 +1,5 @@
 error[E0435]: attempt to use a non-constant value in a constant
-  --> $DIR/constness.rs:32:34
+  --> $DIR/constness.rs:30:34
    |
 LL |     let _ = const { size_of_val(&v) };
    |                                  ^ non-constant value
@@ -11,7 +11,7 @@ LL +     const v: /* Type */ = NotConstSized;
    |
 
 error[E0435]: attempt to use a non-constant value in a constant
-  --> $DIR/constness.rs:37:33
+  --> $DIR/constness.rs:35:33
    |
 LL |     let _ = const { size_of_val(v) };
    |                                 ^ non-constant value
@@ -23,49 +23,49 @@ LL +     const v: /* Type */ = NotConstSized;
    |
 
 error[E0277]: the trait bound `NotConstSized: const Sized` is not satisfied
-  --> $DIR/constness.rs:22:31
+  --> $DIR/constness.rs:20:31
    |
 LL |     let _ = const { size_of::<NotConstSized>() };
    |                               ^^^^^^^^^^^^^
    |
 note: required by a bound in `size_of`
-  --> $DIR/constness.rs:18:21
+  --> $DIR/constness.rs:16:21
    |
 LL | const fn size_of<T: ~const Sized>() { unimplemented!() }
    |                     ^^^^^^^^^^^^ required by this bound in `size_of`
 
 error[E0277]: the size for values of type `[u8]` cannot be known at compilation time
-  --> $DIR/constness.rs:26:31
+  --> $DIR/constness.rs:24:31
    |
 LL |     let _ = const { size_of::<NotConstMetaSized>() };
    |                               ^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
    |
    = help: within `NotConstMetaSized`, the trait `Sized` is not implemented for `[u8]`
 note: required because it appears within the type `NotConstMetaSized`
-  --> $DIR/constness.rs:12:8
+  --> $DIR/constness.rs:10:8
    |
 LL | struct NotConstMetaSized([u8]);
    |        ^^^^^^^^^^^^^^^^^
 note: required by a bound in `size_of`
-  --> $DIR/constness.rs:18:21
+  --> $DIR/constness.rs:16:21
    |
 LL | const fn size_of<T: ~const Sized>() { unimplemented!() }
    |                     ^^^^^^^^^^^^ required by this bound in `size_of`
 
 error[E0277]: the size for values of type `[u8]` cannot be known at compilation time
-  --> $DIR/constness.rs:28:23
+  --> $DIR/constness.rs:26:23
    |
 LL |     let _ = size_of::<NotConstMetaSized>();
    |                       ^^^^^^^^^^^^^^^^^ doesn't have a size known at compile-time
    |
    = help: within `NotConstMetaSized`, the trait `Sized` is not implemented for `[u8]`
 note: required because it appears within the type `NotConstMetaSized`
-  --> $DIR/constness.rs:12:8
+  --> $DIR/constness.rs:10:8
    |
 LL | struct NotConstMetaSized([u8]);
    |        ^^^^^^^^^^^^^^^^^
 note: required by a bound in `size_of`
-  --> $DIR/constness.rs:18:21
+  --> $DIR/constness.rs:16:21
    |
 LL | const fn size_of<T: ~const Sized>() { unimplemented!() }
    |                     ^^^^^^^^^^^^ required by this bound in `size_of`

tests/ui/sized-hierarchy/extern-type-behind-ptr.rs

@@ -1,7 +1,7 @@
 //@ check-pass
 #![feature(extern_types, sized_hierarchy)]
 
-use std::marker::{MetaSized, PointeeSized};
+use std::marker::PointeeSized;
 
 pub fn hash<T: PointeeSized>(_: *const T) {
     unimplemented!();

tests/ui/sized-hierarchy/prelude.e2024.stderr

@@ -0,0 +1,25 @@
+error[E0405]: cannot find trait `MetaSized` in this scope
+  --> $DIR/prelude.rs:10:21
+   |
+LL | pub fn metasized<T: MetaSized>() {}
+   |                     ^^^^^^^^^ not found in this scope
+   |
+help: consider importing this trait
+   |
+LL + use std::marker::MetaSized;
+   |
+
+error[E0405]: cannot find trait `PointeeSized` in this scope
+  --> $DIR/prelude.rs:12:24
+   |
+LL | pub fn pointeesized<T: PointeeSized>() {}
+   |                        ^^^^^^^^^^^^ not found in this scope
+   |
+help: consider importing this trait
+   |
+LL + use std::marker::PointeeSized;
+   |
+
+error: aborting due to 2 previous errors
+
+For more information about this error, try `rustc --explain E0405`.

tests/ui/sized-hierarchy/prelude.rs

@@ -0,0 +1,13 @@
+//@ compile-flags: --crate-type=lib
+//@ revisions: e2024 future
+//@[e2024] edition: 2024
+//@[e2024] check-fail
+//@[future] compile-flags: -Zunstable-options
+//@[future] edition: future
+//@[future] check-pass
+#![feature(sized_hierarchy)]
+
+pub fn metasized<T: MetaSized>() {}
+//[e2024]~^ ERROR cannot find trait `MetaSized` in this scope
+pub fn pointeesized<T: PointeeSized>() {}
+//[e2024]~^ ERROR cannot find trait `PointeeSized` in this scope