Add Type::spliceArray(), improve splice_array() array type narrowing
#20513
| Job | Run time |
|---|---|
| 1m 45s | |
| 40s | |
| 3m 12s | |
| 1m 30s | |
| 1m 36s | |
| 2m 51s | |
| 1m 35s | |
| 31s | |
| 2m 40s | |
| 1m 39s | |
| 2m 46s | |
| 1m 36s | |
| 2m 59s | |
| 1m 39s | |
| 2m 48s | |
| 3m 1s | |
| 2m 56s | |
| 2m 57s | |
| 3m 8s | |
| 2m 52s | |
| 2m 58s | |
| 2m 57s | |
| 3m 9s | |
| 2m 50s | |
| 1m 22s | |
| 57m 57s |