use ty::Binder in rustdoc instead of skip_binder#105612
Merged
bors merged 4 commits intorust-lang:masterfrom Dec 13, 2022
Merged
use ty::Binder in rustdoc instead of `skip_binder`#105612bors merged 4 commits intorust-lang:masterfrom
bors merged 4 commits intorust-lang:masterfrom