Skip to content

Specification attributes for traits

Lennard Gäherrequested 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