{"ast_node_type":"other","tokens":[{"end":73,"kind":"keyword","start":0,"text":"//"}]}
        // bottom the type lattice, and we'll be moving up the lattice as
        // arms. Start out the value as bottom, since it's the, well,
        // we process each arm. (Note that any match with 0 arms is matching