{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"//"}]}
        // If there are multiple arms, make sure they all agree on
        // what the type of the binding `x` ought to be.