add another type system invariant#2667

lcnr wants to merge 2 commits intorust-lang:mainrust-lang/rustc-dev-guide:mainfrom

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