From 8baca169c512e09b350ce99b9444ee1faeb11895 Mon Sep 17 00:00:00 2001
From: Ding Xiang Fei <dingxiangfei2009@protonmail.ch>
Date: Wed, 4 Dec 2024 05:05:45 +0800
Subject: [PATCH] stabilize derive(CoercePointee)

---
 library/core/src/marker.rs                    | 33 +++++++++++++++++--
 .../coerce-pointee-bounds-issue-127647.rs     |  2 --
 .../deriving/deriving-coerce-pointee-neg.rs   |  2 +-
 tests/ui/deriving/deriving-coerce-pointee.rs  |  3 +-
 4 files changed, 33 insertions(+), 7 deletions(-)

diff --git a/library/core/src/marker.rs b/library/core/src/marker.rs
index 1620b949590d0..5718c99e1e1c2 100644
--- a/library/core/src/marker.rs
+++ b/library/core/src/marker.rs
@@ -1075,11 +1075,38 @@ pub trait FnPtr: Copy + Clone {
     fn addr(self) -> *const ();
 }
 
-/// Derive macro generating impls of traits related to smart pointers.
+/// Derive macro generating implementations of traits
+/// in relation to coercion of types to unsized or dynamic-sized types
+/// with dynamic dispatching.
+///
+/// This macro will enable the target structure to equip with capabilities
+/// to weaken a concrete type in its generic parameters to its unsized
+/// variants.
+/// For instance, it admits coercion of a `[T; SIZE]` to `[T]` where `SIZE`
+/// is a constant; and coercion of a concrete type `T` to `dyn Trait` when
+/// `T` implements an object-safe trait `Trait`.
+/// See the [DST coercion RFC][RFC982] and
+/// [the nomicon entry on coercion][nomicon-coerce] on the topics of this coercion.
+///
+/// The macro would choose a generic parameter labeld by a `#[pointee]` attribute first,
+/// and resorts to the first type parameter from the left of
+/// the list of generics as the target parameter that
+/// the weakening is allowed.
+///
+/// # Pre-requisites
+/// Applying this macro demands the following pre-requisites on the target item.
+/// - The target item is a `struct`.
+/// - The `struct` has a transparent data layout via `#[repr(transparent)]`.
+/// - The `struct` has at least one data field.
+/// - The `struct` has at least one generic type parameter.
+/// - The `struct` has at most one generic type parameter
+///   with macro attribute `#[pointee]` attached.
+///
+/// [nomicon-coerce]: ../../nomicon/coercions.html
+/// [RFC982]: https://github.com/rust-lang/rfcs/blob/master/text/0982-dst-coercion.md
 #[rustc_builtin_macro(CoercePointee, attributes(pointee))]
 #[allow_internal_unstable(dispatch_from_dyn, coerce_unsized, unsize)]
-#[unstable(feature = "derive_coerce_pointee", issue = "123430")]
-#[cfg(not(bootstrap))]
+#[stable(feature = "derive_coerce_pointee", since = "CURRENT_RUSTC_VERSION")]
 pub macro CoercePointee($item:item) {
     /* compiler built-in */
 }
diff --git a/tests/ui/deriving/coerce-pointee-bounds-issue-127647.rs b/tests/ui/deriving/coerce-pointee-bounds-issue-127647.rs
index a1aabf1cb527d..5705f6ac9eaa4 100644
--- a/tests/ui/deriving/coerce-pointee-bounds-issue-127647.rs
+++ b/tests/ui/deriving/coerce-pointee-bounds-issue-127647.rs
@@ -1,7 +1,5 @@
 //@ check-pass
 
-#![feature(derive_coerce_pointee)]
-
 #[derive(core::marker::CoercePointee)]
 #[repr(transparent)]
 pub struct Ptr<'a, #[pointee] T: OnDrop + ?Sized, X> {
diff --git a/tests/ui/deriving/deriving-coerce-pointee-neg.rs b/tests/ui/deriving/deriving-coerce-pointee-neg.rs
index deef35cdf701d..0eacb1c477cc9 100644
--- a/tests/ui/deriving/deriving-coerce-pointee-neg.rs
+++ b/tests/ui/deriving/deriving-coerce-pointee-neg.rs
@@ -1,4 +1,4 @@
-#![feature(derive_coerce_pointee, arbitrary_self_types)]
+#![feature(arbitrary_self_types)]
 
 extern crate core;
 use std::marker::CoercePointee;
diff --git a/tests/ui/deriving/deriving-coerce-pointee.rs b/tests/ui/deriving/deriving-coerce-pointee.rs
index 26762e4d0face..76da353841ef9 100644
--- a/tests/ui/deriving/deriving-coerce-pointee.rs
+++ b/tests/ui/deriving/deriving-coerce-pointee.rs
@@ -1,5 +1,6 @@
 //@ run-pass
-#![feature(derive_coerce_pointee, arbitrary_self_types)]
+
+#![feature(arbitrary_self_types)]
 
 use std::marker::CoercePointee;