{"ast_node_type":"other","tokens":[{"end":29,"kind":"keyword","start":0,"text":".filter_map(|i|"}]}
            .filter_map(|i| {
        (0..self.num_vars())
                let vid = ty::TyVid::from_usize(i);