pub fn walk_type_<'a, I, T, F>(typ: &'a T, f: &mut F)where F: Walker<'a, T> + ?Sized, T: TypePtr<Id = I> + 'a, I: 'a,