infinite semantic analysis loop

main.zig

const std = @import("std");

const Node = union(enum) {
    leaf: u8,
    node: ?*Node,

    pub fn format(self: Node, comptime fmt: []const u8, options: std.fmt.FormatOptions, writer: anytype) @TypeOf(writer).Error!void {
        switch (self) {
            .leaf => {
                try writer.writeAll("leaf=\"");
                try std.fmt.format(writer, "{}", .{self.leaf});
                try writer.writeAll("\"");
            },
            .node => {
                try writer.writeAll("node=[");
                if (self.node) |n| try n.format("{}", options, writer);
                try writer.writeAll("]");
            },
        }
    }
};

pub fn main() anyerror!void {
    var leaf = Node{ .leaf = 127 };
    var node = Node{ .node = &leaf };
    var root = Node{ .node = &node };
    std.debug.print("{}\n", .{root});
}