stabilize offset_of_slice

Author: jdonszelmann

compiler/rustc_feature/src/accepted.rs

@@ -318,6 +318,8 @@ declare_features! (
     (accepted, non_modrs_mods, "1.30.0", Some(44660)),
     /// Allows using multiple nested field accesses in offset_of!
     (accepted, offset_of_nested, "1.82.0", Some(120140)),
+    /// Allows using fields with slice type in offset_of!
+    (accepted, offset_of_slice, "CURRENT_RUSTC_VERSION", Some(126151)),
     /// Allows the use of or-patterns (e.g., `0 | 1`).
     (accepted, or_patterns, "1.53.0", Some(54883)),
     /// Allows using `+bundle,+whole-archive` link modifiers with native libs.

compiler/rustc_feature/src/unstable.rs

@@ -589,8 +589,6 @@ declare_features! (
     (incomplete, non_lifetime_binders, "1.69.0", Some(108185)),
     /// Allows using enums in offset_of!
     (unstable, offset_of_enum, "1.75.0", Some(120141)),
-    /// Allows using fields with slice type in offset_of!
-    (unstable, offset_of_slice, "1.81.0", Some(126151)),
     /// Allows using `#[optimize(X)]`.
     (unstable, optimize_attribute, "1.34.0", Some(54882)),
     /// Allows specifying nop padding on functions for dynamic patching.

compiler/rustc_hir_typeck/src/expr.rs

@@ -3946,15 +3946,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
                     {
                         let field_ty = self.field_ty(expr.span, field, args);
 
-                        if self.tcx.features().offset_of_slice() {
-                            self.require_type_has_static_alignment(field_ty, expr.span);
-                        } else {
-                            self.require_type_is_sized(
-                                field_ty,
-                                expr.span,
-                                ObligationCauseCode::Misc,
-                            );
-                        }
+                        self.require_type_has_static_alignment(field_ty, expr.span);
 
                         if field.vis.is_accessible_from(def_scope, self.tcx) {
                             self.tcx.check_stability(field.did, Some(expr.hir_id), expr.span, None);
@@ -3975,15 +3967,7 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
                         && field.name == sym::integer(index)
                     {
                         if let Some(&field_ty) = tys.get(index) {
-                            if self.tcx.features().offset_of_slice() {
-                                self.require_type_has_static_alignment(field_ty, expr.span);
-                            } else {
-                                self.require_type_is_sized(
-                                    field_ty,
-                                    expr.span,
-                                    ObligationCauseCode::Misc,
-                                );
-                            }
+                            self.require_type_has_static_alignment(field_ty, expr.span);
 
                             field_indices.push((FIRST_VARIANT, index.into()));
                             current_container = field_ty;

src/doc/unstable-book/src/language-features/offset-of-slice.md

@@ -3,8 +3,6 @@
 //@[next] compile-flags: -Znext-solver
 //@ run-pass
 
-#![feature(offset_of_slice)]
-
 use std::mem::offset_of;
 
 trait Mirror {

tests/ui/offset-of/offset-of-slice-normalized.rs

@@ -1,5 +1,4 @@
 //@run-pass
-#![feature(offset_of_slice)]
 
 use std::mem::offset_of;