fn is_unit_type(ty: Ty<'_>) -> bool