Partially stabilize const_pin

Author: GKFX

library/alloc/src/lib.rs

@@ -112,7 +112,6 @@
 #![feature(const_eval_select)]
 #![feature(const_heap)]
 #![feature(const_maybe_uninit_write)]
-#![feature(const_pin)]
 #![feature(const_size_of_val)]
 #![feature(const_vec_string_slice)]
 #![feature(core_intrinsics)]

library/core/src/lib.rs

@@ -129,7 +129,7 @@
 #![feature(const_nonnull_new)]
 #![feature(const_num_midpoint)]
 #![feature(const_option_ext)]
-#![feature(const_pin)]
+#![feature(const_pin_2)]
 #![feature(const_pointer_is_aligned)]
 #![feature(const_ptr_is_null)]
 #![feature(const_ptr_sub_ptr)]

library/core/src/pin.rs

@@ -1186,7 +1186,7 @@ impl<Ptr: Deref<Target: Unpin>> Pin<Ptr> {
 /// let mut pinned: Pin<&mut u8> = Pin::new(&mut val);
 /// ```
 #[inline(always)]
-#[rustc_const_unstable(feature = "const_pin",issue = "76654")]
+#[rustc_const_stable(feature = "const_pin",since = "CURRENT_RUSTC_VERSION")]
 #[stable(feature = "pin", since = "1.33.0")]
 pubconstfnnew(pointer:Ptr) -> Pin<Ptr>{
 // SAFETY: the value pointed to is `Unpin`, and so has no requirements
@@ -1214,7 +1214,7 @@ impl<Ptr: Deref<Target: Unpin>> Pin<Ptr> {
 /// assert_eq!(*r, 5);
 /// ```
 #[inline(always)]
-#[rustc_const_unstable(feature = "const_pin", issue = "76654")]
+#[rustc_const_unstable(feature = "const_pin_2", issue = "76654")]
 #[stable(feature = "pin_into_inner", since = "1.39.0")]
 pubconstfninto_inner(pin:Pin<Ptr>) -> Ptr{
  pin.__pointer
@@ -1351,7 +1351,7 @@ impl<Ptr: Deref> Pin<Ptr> {
 /// [`pin` module docs]: self
 #[lang = "new_unchecked"]
 #[inline(always)]
-#[rustc_const_unstable(feature = "const_pin",issue = "76654")]
+#[rustc_const_stable(feature = "const_pin",since = "CURRENT_RUSTC_VERSION")]
 #[stable(feature = "pin", since = "1.33.0")]
 pubconstunsafefnnew_unchecked(pointer:Ptr) -> Pin<Ptr>{
 Pin{__pointer: pointer }
@@ -1503,7 +1503,7 @@ impl<Ptr: Deref> Pin<Ptr> {
 /// If the underlying data is [`Unpin`], [`Pin::into_inner`] should be used
 /// instead.
 #[inline(always)]
-#[rustc_const_unstable(feature = "const_pin", issue = "76654")]
+#[rustc_const_unstable(feature = "const_pin_2", issue = "76654")]
 #[stable(feature = "pin_into_inner", since = "1.39.0")]
 pubconstunsafefninto_inner_unchecked(pin:Pin<Ptr>) -> Ptr{
  pin.__pointer
@@ -1559,7 +1559,7 @@ impl<'a, T: ?Sized> Pin<&'a T> {
 /// ["pinning projections"]: self#projections-and-structural-pinning
 #[inline(always)]
 #[must_use]
-#[rustc_const_unstable(feature = "const_pin",issue = "76654")]
+#[rustc_const_stable(feature = "const_pin",since = "CURRENT_RUSTC_VERSION")]
 #[stable(feature = "pin", since = "1.33.0")]
 pubconstfnget_ref(self) -> &'aT{
 self.__pointer
@@ -1570,7 +1570,7 @@ impl<'a, T: ?Sized> Pin<&'a mut T> {
 /// Converts this `Pin<&mut T>` into a `Pin<&T>` with the same lifetime.
 #[inline(always)]
 #[must_use = "`self` will be dropped if the result is not used"]
-#[rustc_const_unstable(feature = "const_pin",issue = "76654")]
+#[rustc_const_stable(feature = "const_pin",since = "CURRENT_RUSTC_VERSION")]
 #[stable(feature = "pin", since = "1.33.0")]
 pubconstfninto_ref(self) -> Pin<&'aT>{
 Pin{__pointer:self.__pointer}
@@ -1588,7 +1588,7 @@ impl<'a, T: ?Sized> Pin<&'a mut T> {
 #[inline(always)]
 #[must_use = "`self` will be dropped if the result is not used"]
 #[stable(feature = "pin", since = "1.33.0")]
-#[rustc_const_unstable(feature = "const_pin",issue = "76654")]
+#[rustc_const_stable(feature = "const_pin",since = "CURRENT_RUSTC_VERSION")]
 pubconstfnget_mut(self) -> &'amutT
 where
 T:Unpin,
@@ -1609,7 +1609,7 @@ impl<'a, T: ?Sized> Pin<&'a mut T> {
 #[inline(always)]
 #[must_use = "`self` will be dropped if the result is not used"]
 #[stable(feature = "pin", since = "1.33.0")]
-#[rustc_const_unstable(feature = "const_pin",issue = "76654")]
+#[rustc_const_stable(feature = "const_pin",since = "CURRENT_RUSTC_VERSION")]
 pubconstunsafefnget_unchecked_mut(self) -> &'amutT{
 self.__pointer
 }
@@ -1652,7 +1652,7 @@ impl<T: ?Sized> Pin<&'static T> {
 /// This is safe because `T` is borrowed immutably for the `'static` lifetime, which
 /// never ends.
 #[stable(feature = "pin_static_ref", since = "1.61.0")]
-#[rustc_const_unstable(feature = "const_pin",issue = "76654")]
+#[rustc_const_stable(feature = "const_pin",since = "CURRENT_RUSTC_VERSION")]
 pubconstfnstatic_ref(r:&'staticT) -> Pin<&'staticT>{
 // SAFETY: The 'static borrow guarantees the data will not be
 // moved/invalidated until it gets dropped (which is never).
@@ -1666,7 +1666,7 @@ impl<T: ?Sized> Pin<&'static mut T> {
 /// This is safe because `T` is borrowed for the `'static` lifetime, which
 /// never ends.
 #[stable(feature = "pin_static_ref", since = "1.61.0")]
-#[rustc_const_unstable(feature = "const_pin",issue = "76654")]
+#[rustc_const_stable(feature = "const_pin",since = "CURRENT_RUSTC_VERSION")]
 pubconstfnstatic_mut(r:&'staticmutT) -> Pin<&'staticmutT>{
 // SAFETY: The 'static borrow guarantees the data will not be
 // moved/invalidated until it gets dropped (which is never).

library/core/tests/lib.rs

@@ -21,7 +21,7 @@
 #![feature(const_likely)]
 #![feature(const_nonnull_new)]
 #![feature(const_option_ext)]
-#![feature(const_pin)]
+#![feature(const_pin_2)]
 #![feature(const_pointer_is_aligned)]
 #![feature(const_three_way_compare)]
 #![feature(const_trait_impl)]

library/core/tests/pin.rs

@@ -19,6 +19,10 @@ fn pin_const() {
 constREF:&'staticusize = PINNED.get_ref();
 assert_eq!(REF,POINTER);
 
+constINT:u8 = 42;
+constSTATIC_REF:Pin<&'staticu8> = Pin::static_ref(&INT);
+assert_eq!(*STATIC_REF,INT);
+
 // Note: `pin_mut_const` tests that the methods of `Pin<&mut T>` are usable in a const context.
 // A const fn is used because `&mut` is not (yet) usable in constants.
 constfnpin_mut_const(){