Move coverage-increasing void out of define-values.
#290
| Job | Run time |
|---|---|
| 23m 0s | |
| 18m 23s | |
| 41m 23s |
void out of define-values.
#290
| Job | Run time |
|---|---|
| 23m 0s | |
| 18m 23s | |
| 41m 23s |