go over invariants again :3#2506

lcnr merged 1 commit intorust-lang:masterrust-lang/rustc-dev-guide:masterfrom

lcnr:type-system-invariantslcnr/rustc-dev-guide:type-system-invariantsCopy head branch name to clipboard