Add Type::spliceArray(), improve splice_array() array type narrowing
#20938
| Job | Run time |
|---|---|
| 35s | |
| 30s | |
| 22s | |
| 24s | |
| 25s | |
| 21s | |
| 11s | |
| 1m 37s | |
| 10s | |
| 4m 35s |