{"ast_node_type":"other","tokens":[{"end":40,"kind":"keyword","start":0,"text":"//"}]}
            //      `z < x` and `z < y`:
            //      `[x, y, tcx, z]` where `x < tcx` and `y < tcx` and
            //