Skip to content

Cleanup some EarlyBinder::skip_binder() -> EarlyBinder::subst_identity()#112220

Merged
bors merged 1 commit into
rust-lang:masterfrom
kylematsuda:earlybinder-fix
Jun 6, 2023
Merged

Cleanup some EarlyBinder::skip_binder() -> EarlyBinder::subst_identity()#112220
bors merged 1 commit into
rust-lang:masterfrom
kylematsuda:earlybinder-fix

cleanup some skip_binder -> subst_identity

57cbe25
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs