Define a struct-level #[safety_constraint(...)] attribute
#7546
| Job | Run time |
|---|---|
| 4m 32s | |
| 2m 25s | |
| 34m 46s | |
| 13m 17s | |
| 16m 47s | |
| 11m 58s | |
| 13m 2s | |
| 12m 51s | |
| 1h 49m 38s |
#[safety_constraint(...)] attribute
#7546
| Job | Run time |
|---|---|
| 4m 32s | |
| 2m 25s | |
| 34m 46s | |
| 13m 17s | |
| 16m 47s | |
| 11m 58s | |
| 13m 2s | |
| 12m 51s | |
| 1h 49m 38s |