Commit 0075c5a1d5ad1198b16e6a1c390c985a8e4354de | zig

author	Matthew Lugg <mlugg@mlugg.co.uk> 2026-02-27 10:27:29+00:00
committer	Matthew Lugg <mlugg@mlugg.co.uk> 2026-03-10 10:26:13+00:00
log	0075c5a1d5ad1198b16e6a1c390c985a8e4354de
tree	5013a091265272a9b4cf1c91348de4708588fbd1
parent	82be338964ed5bbc596a48075e52724fdf92cde4
signature	Commit is signed but in an unrecognized format.

1 files changed, 13 insertions(+), 6 deletions(-)

src/Type.zig+13-6

 @@ -690,9 +690,9 @@ pub fn hasRuntimeBits(ty: Type, zcu: *const Zcu) bool {
     };
 }
-/// true if and only if the type has a well-defined memory layout
+/// Returns `true` iff the memory layout of `ty` is defined by the Zig language specification.
-/// readFrom/writeToMemory are supported only for types with a well-
+///
-/// defined memory layout
+/// Does not require `ty` to be resolved.
 pub fn hasWellDefinedLayout(ty: Type, zcu: *const Zcu) bool {
     const ip = &zcu.intern_pool;
     return switch (ip.indexToKey(ty.toIntern())) {
 @@ -3140,9 +3140,16 @@ pub fn validateExtern(ty: Type, position: ExternPosition, zcu: *const Zcu) bool
                 },
             };
         },
-        .array => {
+        .array => switch (position) {
-            if (position == .ret_ty or position == .param_ty) return false;
+            .ret_ty,
-            return ty.childType(zcu).validateExtern(.element, zcu);
+            .param_ty,
+            => false,
+            .union_field,
+            .struct_field,
+            .element,
+            .other,
+            => ty.childType(zcu).validateExtern(.element, zcu),
         },
         .vector => ty.childType(zcu).validateExtern(.element, zcu),
         .optional => ty.isPtrLikeOptional(zcu),