Well-formedness dev guide page#2889

fallible-algebra wants to merge 18 commits into

rust-lang:mainrust-lang/rustc-dev-guide:mainfrom

fallible-algebra:types-overhaul/wellformednessfallible-algebra/rustc-dev-guide:types-overhaul/wellformednessCopy head branch name to clipboard