[jcelerier]

> Nor was this really related to being inclusive or whatever, it was just about being nicer.

In what wicked world do you live where the word "bad" is considered as a "not-nice" word should not be said in order not to risk offending people ? What's next ? Replacing "error" by "potential incorrectness" ? This is 1984-like. No one should have to be afraid of words.

[Manishearth]

This has nothing to do with political correctness or offending people. We didn't think it was some horrible mean thing to have bad_style. We just wanted to improve it, to be nicer (doesn't imply it was not-nice before, but improvement can always happen), and more accurate.

Feel free to continue to call it bad style within the Rust community. Nothing 1984-like about it at all. It was a request for changing some wording, one which could have been rejected, and we would have moved on, because it was a drive-by issue that I didn't care about much.

You're ascribing a lot of intent and background to that post, intent that wasn't there.