{"ast_node_type":"other","tokens":[{"end":61,"kind":"keyword","start":0,"text":"///"}]}
    /// `ArrayToPointer` and `MutToConstPointer` are special.
    /// **FIXME**: Document exactly which `CastKind`s allow which types of casts. Figure out why
    Cast(CastKind, Operand, Ty),