{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"Rvalue::Cast(..,"}]}
            Rvalue::Cast(.., ty) => Ok(*ty),
            Rvalue::Len(..) => Ok(Ty::usize_ty()),
            Rvalue::BinaryOp(op, lhs, rhs) => {