{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"for"}]}
        for &diverging_vid in &diverging_vids {
            let diverging_ty = Ty::new_var(self.tcx, diverging_vid);