fix type instability in set_dot #5392
| Job | Run time |
|---|---|
| 24m 27s | |
| 10m 3s | |
| 8m 24s | |
| 11m 22s | |
| 10m 33s | |
| 20m 30s | |
| 13m 6s | |
| 25m 14s | |
| 28m 40s | |
| 27m 45s | |
| 25m 11s | |
| 24m 31s | |
| 25m 12s | |
| 21m 34s | |
| 33m 6s | |
| 20m 1s | |
| 13m 49s | |
| 15m 15s | |
| 31m 19s | |
| 22m 3s | |
| 24m 32s | |
| 16m 52s | |
| 20m 19s | |
| 17m 34s | |
| 32m 27s | |
| 8h 43m 49s |