{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":"#[type_visitable(ignore)]"}]}
    #[type_visitable(ignore)]
    #[type_foldable(identity)]
    pub cause: ObligationCause<'tcx>,