Document EarlyBinder::subst_identity and skip_binder#106953
Merged
bors merged 1 commit intorust-lang:masterfrom Jan 17, 2023
Merged
Document EarlyBinder::subst_identity and skip_binder#106953bors merged 1 commit intorust-lang:masterfrom
EarlyBinder::subst_identity and skip_binder#106953bors merged 1 commit intorust-lang:masterfrom