Why did Rust choose not to implement Add<char> for String, while providing String::push(char) instead?

string rust char