Add Type::spliceArray(), improve splice_array() array type narrowing
#7617
| Job | Run time |
|---|---|
| 1m 19s | |
| 1m 44s | |
| 1m 22s | |
| 1m 5s | |
| 1m 5s | |
| 1m 11s | |
| 1m 11s | |
| 8m 57s |