pub fn noop_visit_ty<T: MutVisitor>(ty: &mut P<Ty>, vis: &mut T)