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