Function peel_alias 

pub fn peel_alias<F>(ty: &Type, is_alias: F) -> Type
where
    F: Fn(&str) -> bool,

Walk an alias chain via underlying_ty (preserves substitution); cycle guard defends against chains that slip past circular_type_alias.