Macro struct_with_invariants 

struct_with_invariants!() { /* proc-macro */ }