Port several trait/coherence-related attributes the new attribute system#143403

bors merged 13 commits into

rust-lang:masterrust-lang/rust:masterfrom

GrigorenkoPV:attributes/traitsGrigorenkoPV/rust:attributes/traitsCopy head branch name to clipboard