{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"impl<'tcx>"}]}
impl<'tcx> Extend<ty::Predicate<'tcx>> for PredicateSet<'tcx> {
    fn extend<I: IntoIterator<Item = ty::Predicate<'tcx>>>(&mut self, iter: I) {