`skip_binder` to `instantiate_identity`#116340

Merged

bors merged 1 commit intorust-lang:masterfrom

lcnr:early-binder-skip_binder

Oct 2, 2023

Commits on Oct 2, 2023

`skip_binder` to `instantiate_identity`
lcnr
committed