Repository navigation

Address some `EarlyBinder` nits - #103600

Merged

bors merged 2 commits into

rust-lang:masterfrom

compiler-errors:early-binder-nits

Dec 19, 2022

Merged

Address some `EarlyBinder` nits#103600
bors merged 2 commits into
rust-lang:masterfrom
compiler-errors:early-binder-nits

Commits on Dec 13, 2022
- EarlyBinder nits
  compiler-errors
  committed
  5dea1d1
- Remove instantiate_type_scheme
  compiler-errors
  committed
  f705d64