{"ast_node_type":"other","tokens":[{"end":31,"kind":"keyword","start":0,"text":"//"}]}
            // at pointer type.
            // all other casts including int-to-ptr casts are fine, they just use the integer value
            Rvalue::Cast(_, operand, _) => {