Skip to content

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

Merged
bors merged 13 commits intorust-lang:masterfrom
GrigorenkoPV:attributes/traits
Jul 12, 2025
Merged

Port several trait/coherence-related attributes the new attribute system#143403
bors merged 13 commits intorust-lang:masterfrom
GrigorenkoPV:attributes/traits

Commits