fn is_str_like_for_addition(t: &Type) -> bool