{"ast_node_type":"other","tokens":[{"end":32,"kind":"keyword","start":0,"text":"orig_cast:"}]}
        orig_cast: Option<Span>,
        #[label]
        #[note(lint_invalid_reference_casting_note_ty_has_interior_mutability)]