Enable an #[safety_constraint(...)] attribute helper for the Arbitrary and Invariant macros
#7422
| Job | Run time |
|---|---|
| 14m 11s | |
| 30m 34s | |
| 7m 17s | |
| 24m 5s | |
| 2m 6s | |
| 30m 41s | |
| 24m 48s | |
| 18m 49s | |
| 2h 32m 31s |