Add `Default` trait

José Miguel Sánchez Garcíarequested to merge
omixann/spade:default-trait into main

It will be much more useful after !666 (closed)

Author checklist

  • New Diagnostics have at least one snapshot test that triggers it
  • Added a changelog entry, if relevant
    • You can use ./add_changelog <MR number or a_descriptive_name> to do this
Edited by José Miguel Sánchez García

Merge request reports