{"ast_node_type":"other","tokens":[{"end":81,"kind":"keyword","start":0,"text":"///"}]}
    /// creating a thin pointer. If you're just converting between thin pointers,
    /// *Both* operands must always be included, even the unit value if this is
    /// you may want an [`Rvalue::Cast`] with [`CastKind::PtrToPtr`] instead.