work on char/str descriptions - #809

work on char/str descriptions#809

ehuss merged 5 commits into

rust-lang:masterrust-lang/reference:masterfrom

RalfJung:str-invariantRalfJung/reference:str-invariantCopy head branch name to clipboard