Function fold_tys 

pub fn fold_tys<'db, T>(
    interner: DbInterner<'db>,
    t: T,
    callback: impl FnMut(Ty<'db>) -> Ty<'db>,
) -> T
where
    T: TypeFoldable<DbInterner<'db>>,