Enable an #[safety_constraint(...)] attribute helper for the Arbitrary and Invariant macros
#1308
| Job | Run time |
|---|---|
| 4s | |
| 53m 22s | |
| 53m 26s |