// vtest vflags: -autofree
// vtest build: !sanitize-address-gcc && !sanitize-address-clang

type Tree = Empty | Node

struct Empty {}

struct Node {
    value int
    left  Tree
    right Tree
}

fn (tree Tree) delete(x int) Tree {
    return match tree {
        Empty {
            tree
        }
        Node {
            if tree.left !is Empty && tree.right !is Empty {
                if x < tree.value {
                    Node{
                        ...tree
                        left: tree.left.delete(x)
                    }
                } else {
                    tree
                }
            } else {
                tree
            }
        }
    }
}

fn test_autofree_match() {
    mut tree := Tree(Empty{})
    tree = tree.delete(5)
    assert tree is Empty
}