Remove the implicit binder from the FnSpace in VecPerParamSpace #20526
Labels
A-type-system
Area: Type system
C-cleanup
Category: PRs that clean code up or issues documenting cleanup.
Right now there are two region binders in
ty_fold
:Binder<T>
, and theFnSpace
inVecPerParamSpace
. There should be only one:Binder<T>
. In fact, because of the early/late system, late-bound regions from a method or what have you cannot appear in theFnSpace
predicates, but we keep this extra binding level because of the way thatresolve_lifetime
is structured. We should remove it.The text was updated successfully, but these errors were encountered: