{"ast_node_type":"other","tokens":[{"end":77,"kind":"keyword","start":0,"text":"//"}]}
        // Also note that this check isn't run when the operand type is never
        //
        // (!). In that case we still need the earlier check to verify that the