mirror of
https://github.com/rust-lang/rust.git
synced 2025-10-31 21:16:44 +00:00
a9c125f864
Uplift `EarlyBinder` into `rustc_type_ir` We also need to give `EarlyBinder` a `'tcx` param, so that we can carry the `Interner` in the `EarlyBinder` too. This is necessary because otherwise we have an unconstrained `I: Interner` parameter in many of the `EarlyBinder`'s inherent impls. I also generally think that this is desirable to have, in case we later want to track some state in the `EarlyBinder`. r? lcnr
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.