Repository navigation

`EarlyBinder` prevent misuse - #101901

Merged

bors merged 3 commits into

rust-lang:masterfrom

lcnr:early-binder-type-foldable

Sep 19, 2022

Commits on Sep 19, 2022
- do not implement type traversal for `EarlyBinder`
  lcnr
  committed
  d398b54
- remove the `Subst` trait, always use `EarlyBinder`
  lcnr
  committed
  647052f
- extend polymorphization hack comment.
  lcnr
  committed
  0c3e01d