pub fn is_self_ty(slf: &Ty<'_>) -> bool