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