Attribute Macro derive_group 

#[derive_group]

A proc macro unrelated to adt-into: it is useful in hax and we don’t want a whole crate only for that helper.

This proc macro defines some groups of derive clauses that we reuse all the time.