destructure record rest elements #9797
| Job | Run time |
|---|---|
| 5m 57s | |
| 9m 26s | |
| 11m 42s | |
| 16m 51s | |
| 4m 46s | |
| 22m 9s | |
| 5m 35s | |
| 53s | |
| 1m 44s | |
| 4m 23s | |
| 2m 55s | |
| 7m 48s | |
| 15s | |
| 38s | |
| 18s | |
| 30s | |
| 20s | |
| 14s | |
| 5m 52s | |
| 45s | |
| 3m 53s | |
| 1m 5s | |
| 22s | |
| 16s | |
| 0s | |
| 1h 48m 37s |
| Job | Run time |
|---|---|
| 5m 57s | |
| 9m 26s | |
| 11m 42s | |
| 16m 51s | |
| 4m 46s | |
| 22m 9s | |
| 5m 35s | |
| 53s | |
| 1m 44s | |
| 4m 23s | |
| 2m 55s | |
| 7m 48s | |
| 15s | |
| 38s | |
| 18s | |
| 30s | |
| 20s | |
| 14s | |
| 5m 52s | |
| 45s | |
| 3m 53s | |
| 1m 5s | |
| 22s | |
| 16s | |
| 0s | |
| 1h 48m 37s |