Enable an #[safety_constraint(...)] attribute helper for the Arbitrary and Invariant macros
#1461
| Job | Run time |
|---|---|
| 4s | |
| 59m 50s | |
| 59m 54s |