{"ast_node_type":"other","tokens":[{"end":10,"kind":"keyword","start":0,"text":"//"}]}
        //
        // this here since it depends on the results of typeck.
        // Also note that this check isn't run when the operand type is never