Skip to content

Specification attributes for traits

Lennard Gäher requested to merge lennard/trait-specs into main

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

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

Merge request reports