{"ast_node_type":"other","tokens":[{"end":95,"kind":"keyword","start":0,"text":"Vec<(ty::Predicate<'tcx>,"}]}
        Vec<(ty::Predicate<'tcx>, Option<ty::Predicate<'tcx>>, Option<ObligationCause<'tcx>>)>,
    pub unsatisfied_predicates:
    pub out_of_scope_traits: Vec<DefId>,