mirror of
https://github.com/rust-lang/rust.git
synced 2025-10-08 05:06:52 +00:00

This reverts commit cb9467515b5a9b15aaa905683c6b4dd9e851056c, reversing changes made to 57781b24c54f9548722927ba88c343ff28da94ce.
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.