Documentation (std/String) state that **char** is converted from 4 bytes to UTF8

[iampi31415]

Location

One conversion instance is here

And here in the .push() docs. I think this could be added just before the example that you are directly linked to.

Summary

Char

There are at least two cases in the docs which would benefit (in my opinion) of a single sentence explaining that char is converted to the UTF-8 representation given that String is UTF-8.

One is here in the introduction where you .push('a') which is a 4 byte character, but is converted into the single byte utf-8 representation. I think it's fine to leave .push instead of .push.str("a") but adding the clarification.

Another here in the .push() docs. I think this could be added just before the example.

At least, that would be appreciated for a beginner like me, maybe not by more knowledgeable users; I raise it just as an option.

[lolbinarycat]

I think adding this to the String::push docs is reasonable, but putting this fact on the examples of unrelated examples is probably too much noise.

[iampi31415]

I don't do PRs, but for anyone wanting to fix the issue: feel free to do it.