{"ast_node_type":"other","tokens":[{"end":30,"kind":"keyword","start":0,"text":"///"}]}
/// Used only for diagnostics.
/// Represents how a [`CastKind::PointerCoercion`] was constructed.
#[derive(Clone, Copy, Debug, PartialEq, Eq, TyEncodable, TyDecodable, Hash, HashStable)]