const-oid: eliminate split_high_bits side effects (#1597)
#3295
| Job | Run time |
|---|---|
| 33s | |
| 3m 17s | |
| 38s | |
| 3m 8s | |
| 39s | |
| 36s | |
| 0s | |
| 8m 51s |
split_high_bits side effects (#1597)
#3295
| Job | Run time |
|---|---|
| 33s | |
| 3m 17s | |
| 38s | |
| 3m 8s | |
| 39s | |
| 36s | |
| 0s | |
| 8m 51s |