Fix TODO: Implement Value.isUndefDeep

Now correctly returns `true` for aggregates containing
only undefined elements, optionals with an undefined
payload and undefined unions without a (safety) tag.

Author: Justus2308

src/Value.zig

@@ -1386,11 +1386,23 @@ pub fn isUndef(val: Value, zcu: *const Zcu) bool {
     return zcu.intern_pool.isUndef(val.toIntern());
 }
 
-/// TODO: check for cases such as array that is not marked undef but all the element
-/// values are marked undef, or struct that is not marked undef but all fields are marked
-/// undef, etc.
 pub fn isUndefDeep(val: Value, zcu: *const Zcu) bool {
-    return val.isUndef(zcu);
+    if (val.toIntern() == .undef) return true;
+    switch (zcu.intern_pool.indexToKey(val.toIntern())) {
+        .undef => return true,
+        .int, .float => return false,
+        .aggregate => |agg| {
+            const elems = agg.storage.values();
+            if (elems.len == 0) return false;
+            for (elems) |elem_val| {
+                if (!Value.fromInterned(elem_val).isUndefDeep(zcu)) return false;
+            }
+            return true;
+        },
+        .un => |un| return if (un.tag == .none) Value.fromInterned(un.val).isUndefDeep(zcu) else false,
+        .opt => |opt| return if (opt.val == .none) false else Value.fromInterned(opt.val).isUndefDeep(zcu),
+        else => return false,
+    }
 }
 
 /// `val` must have a numeric or vector type.