Also emit "Dyn Compatibility" section for traits that *are* dyn compatible#156835

rust-bors[bot] merged 1 commit into

rust-lang:mainrust-lang/rust:mainfrom

yotamofek:pr/positive-dyn-compatibleyotamofek/rust:pr/positive-dyn-compatibleCopy head branch name to clipboard