document `type_implements_trait`#132608

bors merged 2 commits intorust-lang:masterrust-lang/rust:masterfrom

mejrs:type_impls_traitmejrs/rust:type_impls_traitCopy head branch name to clipboard