Add some regression tests They're fixed since nightly-2020-10-07: Closes #52843 Closes #53448 Closes #54108 Closes #65581 Closes #65934 Closes #70292 Closes #71443
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.