{"ast_node_type":"struct","tokens":[{"end":41,"kind":"keyword","start":0,"text":"pub"}]}
pub struct InstantiatedPredicates<'tcx> {
#[derive(Clone, Debug, TypeFoldable, TypeVisitable)]
    pub predicates: Vec<Clause<'tcx>>,