some improvements to "Invariants of the type system"#2507

tshepang merged 1 commit intomasterrust-lang/rustc-dev-guide:masterfrom

tshepang-miscrust-lang/rustc-dev-guide:tshepang-miscCopy head branch name to clipboard