Add size information

Author: oli-obk

compiler/rustc_const_eval/src/const_eval/type_info.rs

@@ -81,6 +81,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}"),
             }
         }

library/core/src/mem/type_info.rs

@@ -11,6 +11,8 @@ use crate::any::TypeId;
 pub struct Type {
     /// Per-type information
     pub kind: TypeKind,
+    /// Size of the type. `None` if it is unsized
+    pub size: Option<usize>,
 }
 
 /// Compute the type information of a concrete type.

tests/ui/reflection/dump.run.stdout

@@ -17,19 +17,37 @@ Type {
             ],
         },
     ),
+    size: Some(
+        2,
+    ),
 }
 Type {
     kind: Other,
+    size: Some(
+        4,
+    ),
 }
 Type {
     kind: Other,
+    size: Some(
+        24,
+    ),
 }
 Type {
     kind: Other,
+    size: Some(
+        16,
+    ),
 }
 Type {
     kind: Other,
+    size: Some(
+        16,
+    ),
 }
 Type {
     kind: Other,
+    size: Some(
+        16,
+    ),
 }