Resolve type of else capture in tagged union switch

Author: FnControlOption

src/analysis.zig

@@ -5512,6 +5512,14 @@ pub const DeclWithHandle = struct {
                 if (switch_expr_type.isEnumType()) break :blk switch_expr_type;
                 if (!switch_expr_type.isUnionType()) return switch_expr_type;
 
+                if (case.ast.values.len == 0) {
+                    if (case.inline_token == null) {
+                        return switch_expr_type;
+                    }
+                    // TODO either type
+                    return null;
+                }
+
                 // TODO Peer type resolution, we just use the first resolvable item for now.
                 for (case.ast.values) |case_value| {
                     if (tree.nodeTag(case_value) != .enum_literal) continue;

tests/analysis/switch.zig

@@ -40,7 +40,7 @@ const switch_tagged_union = switch (some_tagged_union) {
     .bar => |a| a,
     //       ^ (bool)()
     else => |a| a,
-    //       ^ (unknown)() TODO this should be `TaggedUnion`
+    //       ^ (TaggedUnion)()
 };
 
 const switch_null = switch (null) {