{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"//"}]}
        // reach a member of N. If so, it falls back to `()`. Else
        // For each diverging variable, figure out whether it can
        // `!`.