From 82028b0f9a9695edd3f70d54234df0bb61e4184d Mon Sep 17 00:00:00 2001
From: Oli Scherer <github333195615777966@oli-obk.de>
Date: Fri, 14 Mar 2025 14:39:58 +0000
Subject: [PATCH] Add size information

---
 .../src/const_eval/type_info.rs                 | 17 +++++++++++++++++
 library/core/src/mem/type_info.rs               |  2 ++
 2 files changed, 19 insertions(+)

diff --git a/compiler/rustc_const_eval/src/const_eval/type_info.rs b/compiler/rustc_const_eval/src/const_eval/type_info.rs
index a94ef580027b..f932b198b426 100644
--- a/compiler/rustc_const_eval/src/const_eval/type_info.rs
+++ b/compiler/rustc_const_eval/src/const_eval/type_info.rs
@@ -86,6 +86,23 @@ impl<'tcx> InterpCx<'tcx, CompileTimeMachine<'tcx>> {
                     };
                     self.write_discriminant(variant_index, &field_dest)?
                 }
+                sym::size => {
+                    let layout = self.layout_of(ty)?;
+                    let variant_index = if layout.is_sized() {
+                        let (variant, variant_place) = downcast(sym::Some)?;
+                        let size_field_place =
+                            self.project_field(&variant_place, FieldIdx::ZERO)?;
+                        self.write_scalar(
+                            ScalarInt::try_from_target_usize(layout.size.bytes(), self.tcx.tcx)
+                                .unwrap(),
+                            &size_field_place,
+                        )?;
+                        variant
+                    } else {
+                        downcast(sym::None)?.0
+                    };
+                    self.write_discriminant(variant_index, &field_dest)?;
+                }
                 other => span_bug!(self.tcx.span, "unknown `Type` field {other}"),
             }
         }
diff --git a/library/core/src/mem/type_info.rs b/library/core/src/mem/type_info.rs
index b188504f76d9..7938e2b52ed0 100644
--- a/library/core/src/mem/type_info.rs
+++ b/library/core/src/mem/type_info.rs
@@ -12,6 +12,8 @@ use crate::intrinsics::type_of;
 pub struct Type {
     /// Per-type information
     pub kind: TypeKind,
+    /// Size of the type. `None` if it is unsized
+    pub size: Option<usize>,
 }
 
 impl TypeId {