[wip] rustdoc: rework of projection predicate to type binding resugaring#9

fmease wants to merge 1 commit intomasterfmease/rust:masterfrom

rustdoc-supfmease/rust:rustdoc-supCopy head branch name to clipboard