Allow traits on Arrays, wires and inv-wires
And a bunch of other changes
Most importantly: Trait methods are now checked earlier
Author checklist
-
New Diagnostics have at least one snapshot test that triggers it -
Added a line to CHANGELOG.md, if relevant
Edited by Frans Skarman