Resolve array~list as non-empty-array
#2827
| Job | Run time |
|---|---|
| 25s | |
| 1m 37s | |
| 2m 2s |
array~list as non-empty-array
#2827
| Job | Run time |
|---|---|
| 25s | |
| 1m 37s | |
| 2m 2s |