Clarify semantics of the various pointer to pointer casts#1451

ehuss merged 3 commits intorust-lang:masterrust-lang/reference:masterfrom

udoprog:document-ptr-castsudoprog/reference:document-ptr-castsCopy head branch name to clipboard