{"ast_node_type":"function","tokens":[{"end":55,"kind":"keyword","start":0,"text":"fn"}]}
    fn visit_ty(&mut self, ty: I::Ty) -> Self::Result {
        let ty = self.ecx.replace_bound_vars(ty, &mut self.universes);