Add Type::spliceArray(), improve splice_array() array type narrowing
#7642
| Job | Run time |
|---|---|
| 1m 16s | |
| 1m 33s | |
| 1m 22s | |
| 1m 12s | |
| 1m 4s | |
| 1m 6s | |
| 1m 2s | |
| 8m 35s |