c1585a17a3
Remove the everybody loops pass It isn't used anymore by rustdoc. Split out of https://github.com/rust-lang/rust/pull/92895. There has been some previous discussion there.
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.