{"ast_node_type":"other","tokens":[{"end":19,"kind":"keyword","start":0,"text":"});"}]}
                });
                    ty::ClauseKind::Trait(ty::TraitPredicate { trait_ref, polarity })
                let bound = (bound.upcast(tcx), span);