{"ast_node_type":"other","tokens":[{"end":103,"kind":"keyword","start":0,"text":"rustc_coinductive,"}]}
        rustc_coinductive, AttributeType::Normal, template!(Word), WarnFollowing, EncodeCrossCrate::No,
    rustc_attr!(
        "`#[rustc_coinductive]` changes a trait to be coinductive, allowing cycles in the trait solver."