Specification attributes for traits

This adds support for specification attributes on traits and their instantiation in impls.

We also properly export trait implementations in our interface files now.

added frontend label

added 1 commit

• 5000c641 - clippy tests

Compare with previous version

merged