Stabilize const TypeId::of

Author: oli-obk

library/core/src/any.rs

@@ -725,7 +725,7 @@ unsafe impl Send for TypeId {}
 unsafe impl Sync for TypeId {}
 
 #[stable(feature = "rust1", since = "1.0.0")]
-#[rustc_const_unstable(feature = "const_type_id", issue = "77125")]
+#[rustc_const_unstable(feature = "const_cmp", issue = "143800")]
 impl const PartialEq for TypeId {
     #[inline]
     fn eq(&self, other: &Self) -> bool {
@@ -773,7 +773,7 @@ impl TypeId {
     /// ```
     #[must_use]
     #[stable(feature = "rust1", since = "1.0.0")]
-    #[rustc_const_unstable(feature = "const_type_id", issue = "77125")]
+    #[rustc_const_stable(feature = "const_type_id", since = "CURRENT_RUSTC_VERSION")]
     pub const fn of<T: ?Sized + 'static>() -> TypeId {
         const { intrinsics::type_id::<T>() }
     }

tests/mir-opt/gvn_const_eval_polymorphic.rs

@@ -10,8 +10,6 @@
 //! evaluated to the string "crate_name::generic::<T>", and
 //! `no_optimize` was incorrectly optimized to `false`.
 
-#![feature(const_type_name)]
-
 fn generic<T>() {}
 
 const fn type_name_contains_i32<T>(_: &T) -> bool {

tests/ui/const-generics/issues/issue-90318.rs

@@ -1,4 +1,3 @@
-#![feature(const_type_id)]
 #![feature(generic_const_exprs)]
 #![feature(const_trait_impl, const_cmp)]
 #![feature(core_intrinsics)]

tests/ui/const-generics/issues/issue-90318.stderr

@@ -1,5 +1,5 @@
 error: overly complex generic constant
-  --> $DIR/issue-90318.rs:15:8
+  --> $DIR/issue-90318.rs:14:8
    |
 LL |     If<{ TypeId::of::<T>() != TypeId::of::<()>() }>: True,
    |        ^^-----------------^^^^^^^^^^^^^^^^^^^^^^^^
@@ -10,7 +10,7 @@ LL |     If<{ TypeId::of::<T>() != TypeId::of::<()>() }>: True,
    = note: this operation may be supported in the future
 
 error: overly complex generic constant
-  --> $DIR/issue-90318.rs:22:8
+  --> $DIR/issue-90318.rs:21:8
    |
 LL |     If<{ TypeId::of::<T>() != TypeId::of::<()>() }>: True,
    |        ^^-----------------^^^^^^^^^^^^^^^^^^^^^^^^

tests/ui/consts/const-fn-type-name.rs

@@ -16,20 +16,12 @@ struct Struct<TA, TB, TC> {
 
 type StructInstantiation = Struct<i8, f64, bool>;
 
-const CONST_STRUCT: StructInstantiation = StructInstantiation {
-    a: 12,
-    b: 13.7,
-    c: false,
-};
+const CONST_STRUCT: StructInstantiation = StructInstantiation { a: 12, b: 13.7, c: false };
 
 const CONST_STRUCT_NAME: &'static str = type_name_wrapper(&CONST_STRUCT);
 
 fn main() {
-    let non_const_struct = StructInstantiation {
-        a: 87,
-        b: 65.99,
-        c: true,
-    };
+    let non_const_struct = StructInstantiation { a: 87, b: 65.99, c: true };
 
     let non_const_struct_name = type_name_wrapper(&non_const_struct);
 

tests/ui/consts/const-typeid-of-rpass.rs

@@ -1,6 +1,4 @@
 //@ run-pass
-#![feature(const_type_id)]
-#![feature(core_intrinsics)]
 
 use std::any::TypeId;
 

tests/ui/consts/const_cmp_type_id.rs

@@ -1,5 +1,5 @@
 //@ compile-flags: -Znext-solver
-#![feature(const_type_id, const_trait_impl, const_cmp)]
+#![feature(const_trait_impl, const_cmp)]
 
 use std::any::TypeId;
 

tests/ui/consts/const_transmute_type_id.rs

@@ -1,4 +1,4 @@
-#![feature(const_type_id, const_trait_impl, const_cmp)]
+#![feature(const_trait_impl, const_cmp)]
 
 use std::any::TypeId;
 

tests/ui/consts/const_transmute_type_id2.rs

@@ -1,6 +1,6 @@
 //@ normalize-stderr: "0x(ff)+" -> "<u128::MAX>"
 
-#![feature(const_type_id, const_trait_impl, const_cmp)]
+#![feature( const_trait_impl, const_cmp)]
 
 use std::any::TypeId;
 

tests/ui/consts/const_transmute_type_id3.rs

@@ -1,7 +1,7 @@
 //! Test that all bytes of a TypeId must have the
 //! TypeId marker provenance.
 
-#![feature(const_type_id, const_trait_impl, const_cmp)]
+#![feature( const_trait_impl, const_cmp)]
 
 use std::any::TypeId;