{"ast_node_type":"other","tokens":[{"end":18,"kind":"keyword","start":0,"text":"&mut"}]}
        &mut self,
    pub(super) fn prove_predicate(
        predicate: impl Upcast<TyCtxt<'tcx>, ty::Predicate<'tcx>> + std::fmt::Debug,