Add Type::spliceArray(), improve splice_array() array type narrowing
#7618
| Job | Run time |
|---|---|
| 1m 19s | |
| 1m 35s | |
| 1m 21s | |
| 1m 5s | |
| 1m 4s | |
| 1m 11s | |
| 1m 3s | |
| 8m 38s |