Skip to content

Add Type::spliceArray(), improve splice_array() array type narrowing #11779

Add Type::spliceArray(), improve splice_array() array type narrowing

Add Type::spliceArray(), improve splice_array() array type narrowing #11779

Triggered via pull request July 13, 2025 11:57
Status Success
Total duration 3m 2s
Artifacts 128

issue-bot.yml

on: pull_request
Download data
17s
Download data
Matrix: Analyse
Evaluate results
20s
Evaluate results
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
issue-cache Expired
582 KB
sha256:9c1d8916f2f58d2fd6c08f660d73c1870c54c804be39f8ca9d7e9a1903b6cd67
playground-cache Expired
523 KB
sha256:516600bd8442322975c467918af193e497186528f1a9e15be2f592c007019501
results-70300-1 Expired
9.56 KB
sha256:0d15ba6180111cc23cd14d1c1c019d1a0067ccb1ef3ad892d004cd1cd4ec3d5d
results-70300-10 Expired
8.73 KB
sha256:0da3cfdfaf18b06a9ebf1f5f6dc31fa2d81fad8af041e5d7eaa5a2b49371957c
results-70300-11 Expired
9.15 KB
sha256:9bb33273fee1bf7166da29aa3513c7cf3a673c8a5a892ad8cdc64f38a01fb73c
results-70300-12 Expired
10.3 KB
sha256:1bb7a1552f22ab5acb3f16a5726b3e1fb1298db77e90a0da73dcd7f945bc563d
results-70300-13 Expired
10 KB
sha256:c24388c8347bb3f744d369c4a1d338e6a67edcdef8cf8a69aeb104f968fff106
results-70300-14 Expired
9.65 KB
sha256:8019c76dfe9d2ab67eac82a8c9bbd04334fc96fd2e00cd60859e2a447c21f6f7
results-70300-15 Expired
7.72 KB
sha256:901ffaa5cfb534bcd708f0539bbb6f91170af22b59dad1e7ea6cf835e7553ac2
results-70300-16 Expired
6.94 KB
sha256:d9c326e6ced4a1c5cf1475152fe17ce7ac031335c999cb431c22d9e82fa27db4
results-70300-17 Expired
9.74 KB
sha256:b7d53aee2fc9b7ed6edc2de5d21c6c0b2977f7880477b6656f6c9b51f00a040c
results-70300-18 Expired
8.51 KB
sha256:5a9abdc4a87bb315fb7fa5df0ea9cf96a86d0e3fb5a0ac1d1ce93f856b8e8f66
results-70300-2 Expired
12.7 KB
sha256:e074786b95cf74b7a7411bf396936bd1f7de7a149e8383cdcb18acc1c62f5d17
results-70300-3 Expired
8.28 KB
sha256:0ee47ff23202359ac8f67cf968bd3fbb5216b6f0b4aeeed4738d559a05a731ae
results-70300-4 Expired
7.26 KB
sha256:ac2e94c51979e19af1fc3fc0e636f9037f74f78b6521cb7318982325fd6e434a
results-70300-5 Expired
8.08 KB
sha256:605efec680b79e88c8c321bea598fc00d674e4ffa591aa77480ead1838aa1426
results-70300-6 Expired
8.87 KB
sha256:7a0437db988a80090ee8206ff8b9a5356f85f507aed0f3c83b8e3537386545b4
results-70300-7 Expired
7.71 KB
sha256:38fa56c1ecf327206cad209c51528c1c4516672b27bc299efc40743b9b980340
results-70300-8 Expired
9.26 KB
sha256:b4be8499bd9c1c3cf19b653723fd5762c3119ad799b65a48c1636619be83c0aa
results-70300-9 Expired
8.96 KB
sha256:72b4ef643f30214d8858e65a300c3e99d4d1ca70c37b4c5f45c721c9246e68ee
results-70400-1 Expired
9.41 KB
sha256:e4430c80ce916a707073441e0ec5488b6bd02295d60b50128d4ef164b226c296
results-70400-10 Expired
8.73 KB
sha256:500b81b382f0c469d50eaaf527f2c2095a9cec88be94eb09ce2eb5255874fecc
results-70400-11 Expired
9.13 KB
sha256:c72b85529420f04fe26db6e925beec70a1b99cf19691b53966bb4076d668dead
results-70400-12 Expired
10.3 KB
sha256:73e8bb77320014d06720e08a0c7db3731bca7060fb222c1ebe21bb5142a17d59
results-70400-13 Expired
10 KB
sha256:91f7df8306104c472bf243b6961568fac95a07b8c613d5a1e2cc6715764e01c1
results-70400-14 Expired
9.65 KB
sha256:23d069f1fea04952c2b2d25140b0bac0b9de6c45b875af02b555a46b2ff3b642
results-70400-15 Expired
7.72 KB
sha256:eb812373dfc2afa69038e8c7e4603ca23a508cd981e6bbf8c083fcd350d25346
results-70400-16 Expired
6.94 KB
sha256:1e09b6dc57eca3e0d5a0e91ae16c081d3885868524854bc4e20461f2978fbd9c
results-70400-17 Expired
9.74 KB
sha256:a669279fb3a8a58f394fb425e7144f9c069c7d8110f3a34254d265ef76753643
results-70400-18 Expired
8.52 KB
sha256:f64af87b2c9b0b39a95457a11fe88c9b312f38c59bce5f0dc59123c733ec890b
results-70400-2 Expired
12.6 KB
sha256:0bb0f80767178dd590ab1bad00cb1609d09e172924e267623cdd0508925a033d
results-70400-3 Expired
8.17 KB
sha256:258db8b06e3e547bbc87ff1ff1ebb1d9365a1bb5832c4b419d9c2e81bc47794d
results-70400-4 Expired
7.26 KB
sha256:faf90ef4358415115af46229a7b34b75bd180e6ea7f1b17a915b09171a2facf6
results-70400-5 Expired
8.08 KB
sha256:b485593b92c5a3d7a68e58f477d1b1a6d4644903926ee362075a633c738ba149
results-70400-6 Expired
8.87 KB
sha256:73f5f52a250eaa9cc5c818fa15adfb772cddc823196f7cfaa129f62764ac5ddc
results-70400-7 Expired
7.64 KB
sha256:2b2c541efc5d207ee8c2b5892d9dbc734b1f8e0b1d05cf34ea03247e3997ee0c
results-70400-8 Expired
9.23 KB
sha256:0620dd7eae1854d6b4b5493bf10dd79fcb7c822fa128f46a0427240b53571a90
results-70400-9 Expired
8.96 KB
sha256:2f4c777104a8d0f9727a434578091135859283faefbdf896c766013d34d5196e
results-80000-1 Expired
7.33 KB
sha256:cc3873260a655823ca71f1584fe6164d42767d4aac8fe95259470462068403c3
results-80000-10 Expired
7.7 KB
sha256:22db6722ff4282b3b4e97bbe2fb374913f057803e892cfe3553b04c029c92a71
results-80000-11 Expired
8.54 KB
sha256:7d95e61a18ee0ba7dc433a64f078c153c67e92bd306e944972e08c957633617b
results-80000-12 Expired
8.29 KB
sha256:707e4dc2e33cb1511989495db440e67580ecdefbba22f83750b2f57df0fb602d
results-80000-13 Expired
7.55 KB
sha256:773b0ffc64f4eb88495da187b8c613d3c66a31b48eb3320fbf3f8aa87db80624
results-80000-14 Expired
8.15 KB
sha256:e87563157e5b24b016d3c818fa2a3c0389fc7eed484fa9f8ace59d6289b0a1f2
results-80000-15 Expired
7.1 KB
sha256:860a1ce982cca206f2873960a084d040e9b5f619536721cf66790ea6ab56e858
results-80000-16 Expired
6.7 KB
sha256:74cd50d04fda9342f29208ae243ce15e4d16f7eba170e0019e7bc1581f337219
results-80000-17 Expired
9.17 KB
sha256:c27cb74c411bccda5cfbd35f794c6fa527ee137be00b8f1483fef32e9f4d4094
results-80000-18 Expired
7 KB
sha256:44f6c7318fd346437b1853ef010597586cbcb33553fcf404396b2c282c0ceb6c
results-80000-2 Expired
11.8 KB
sha256:5879217564627ac1f86cab4e5f97bcec8f5ba1b5feb25535318bb8dee816e379
results-80000-3 Expired
7.17 KB
sha256:b6cb21cf37fcf09ef43302e3b5a7a7be35e5d371e71423271a2ffbf79c5cf4d2
results-80000-4 Expired
6.59 KB
sha256:d7adc6579e29848046165fcdbaee4e9f95d465dbd3092c86517fb28f6c50d85e
results-80000-5 Expired
7.31 KB
sha256:a9a602de6f074a7d0d39ed5f050a41a6b20ed9b05196af79e47502bb5feef405
results-80000-6 Expired
8.21 KB
sha256:06b0e8a8be2842b1a6c4d30a887cda8a154cfefbbe63c598f42486190aeccba3
results-80000-7 Expired
7.29 KB
sha256:78e289c0fa4b869de08404335a398b6df5a17acc473a3668ef6035972f29fb39
results-80000-8 Expired
7.22 KB
sha256:df541c4444c40b02ecde090e5c95699c6305f5b11f7385c3e8486e5ad89e3471
results-80000-9 Expired
7.96 KB
sha256:13f39d4e9ca6987b16c958b7573a9b9d304c50de0b3d6cb55675b534eda41b0f
results-80100-1 Expired
7.17 KB
sha256:c44bc8fff1282cf4667b7e42269a337f52ffc1fedcdfce5115c19be3cfde230b
results-80100-10 Expired
7.68 KB
sha256:d138aceeada4ee033e38cb6f10422a9998f2ecf725239ad36a9430006eded4b4
results-80100-11 Expired
8.87 KB
sha256:cc0e4dcee58513ea50adb00ca367c31991d5943798ad2a3b352bb062d1d2f4cb
results-80100-12 Expired
8.35 KB
sha256:0d255eab067b54420a340544c9c95eb2fbaa3286bb77f7a58cf2cf9d1c5f4101
results-80100-13 Expired
7.58 KB
sha256:9ac671b9f69b7ecb29ae42d235d130f8fb38df1c517360c78d6c961db4473a63
results-80100-14 Expired
8.06 KB
sha256:cee6f49d22ee4483c2548304908390333fec98ffe04e2b183f889977d18ca17e
results-80100-15 Expired
7.1 KB
sha256:53711b17ce3fc792eeeb0bb3ee98b4be38a698ba2535507568015b9dad4ab7ae
results-80100-16 Expired
6.64 KB
sha256:cc82fd7a7d4f7188cd0565ae9ab074c278bef84be98ebc7bed1e8e94edff0d64
results-80100-17 Expired
9.48 KB
sha256:95dd6c1abfbb6e979d30daff25d2ec0268097a5360802c04938295f352ec03f4
results-80100-18 Expired
6.88 KB
sha256:9cab305cc926bc1d3c776e14714f52d105b2771cc47eda2fdc37d38ae0752afa
results-80100-2 Expired
11.9 KB
sha256:0da8f859c4c62de8ef348c32389c20c0ff2db7e9dd0f2043665095f606c82d52
results-80100-3 Expired
7.19 KB
sha256:678b6986d25c2dccc87c28e71e26720e2da0d9db7ecb50abf0ecf217597b76a2
results-80100-4 Expired
6.6 KB
sha256:ae237eceeb8cf1436c27d500ef02ccb406590004d116a109ee167a1122054d59
results-80100-5 Expired
7.46 KB
sha256:86efc806c4119f4adb40a392f93c1b96d7bdc96e8d8ad10a18cc4a5a1c366ed5
results-80100-6 Expired
8.04 KB
sha256:7a4aed5a4b2fc1890873a23472bc7c322ac643c4799b6666fe79cc909c240655
results-80100-7 Expired
7.18 KB
sha256:da4564f44fb035d350a6a88680d6499201cce39c83966c92d71fd5f98426e88d
results-80100-8 Expired
7.78 KB
sha256:80c08c66608f2a49cb33d4c2ffc069562c9390bcdc54d58c61990cb2e0015eef
results-80100-9 Expired
8.34 KB
sha256:c63409cd3741286e40fd0cb52389569c0462feadf09ee372fcbac371e59de19b
results-80200-1 Expired
7.12 KB
sha256:9af07f191711009d88ef7e84a97f1ca2828bb083c8e1cd4786f2d1e31274ef53
results-80200-10 Expired
7.6 KB
sha256:a41857095eddf510420e96b34c5c1b8e9f09d1aa3fbc7999566ee019ffa1e55e
results-80200-11 Expired
8.73 KB
sha256:386af1f31a8cb66de7197164651cbc154b9dd1bc70a5e56c0747e22456387bed
results-80200-12 Expired
8.43 KB
sha256:722d574bda2caa585dde4cef2b846ba8a65f7d1328e27f6fd64cb7ac63b17feb
results-80200-13 Expired
7.58 KB
sha256:2c668ebf3482f92eccdad338f6991be432fc41c4c6148bd3e09b64911d086e61
results-80200-14 Expired
8.07 KB
sha256:26d1b15440a7d09c035245cbb8cb507adc8047320157e7333e5c46f63108aab0
results-80200-15 Expired
7.1 KB
sha256:44a46b896f8578f0439a854674e85782defaeaa29f7e1621d0e03a4f24ccc828
results-80200-16 Expired
6.64 KB
sha256:539d68d72e9397ff0a702539c8af6742d90694f28a8a0a95d66c84173e349bfa
results-80200-17 Expired
9.44 KB
sha256:29e849d409791ff2d80f3397e6281f9489ac2d3d394f71cd0671d5dda41e3f3d
results-80200-18 Expired
6.82 KB
sha256:8d2edcda1620dd09fa4377d4cd2499e4df94b55c6785f80d49b23ac1a68499ba
results-80200-2 Expired
11.9 KB
sha256:57157d714e840a18f4256eb45bc41f807dcd98202d2407556cb3e547de552ba9
results-80200-3 Expired
7.19 KB
sha256:e8a4cfad9baa077c21db69f51feddb7073abef3123988a211830fa0a30d3313b
results-80200-4 Expired
6.64 KB
sha256:e9fa98a0d64931d6ed6f7c123f4f11f9e5b8a356fdd49bf2bb4aa513b106dbaa
results-80200-5 Expired
7.42 KB
sha256:c3ea4291ad6d028b5893f104f3e1bd3fae3be8a6e7ec776e2c6bcdd5fee4298d
results-80200-6 Expired
8.07 KB
sha256:87bd6b8767cd90047f174bc067a92813fc1bd4372556f1ae825b24546642f6da
results-80200-7 Expired
7.23 KB
sha256:1d13ba660ff758ad9e98de6a1ab893504264cd558b2e4ba9371a1f1f7c973740
results-80200-8 Expired
7.63 KB
sha256:9d94214b79973e46383c4f30e703dfe68d1c65c30df425f512c9d51f224c6f3a
results-80200-9 Expired
8.11 KB
sha256:3e94f629a4d8e095f5c718518fbffd8c8fe9c69e49cb65271a72f332ce9b9214
results-80300-1 Expired
7.03 KB
sha256:16f94d2f79d1883e749526e878f75fc7f277ae8c44f76a10ba54487526304dfb
results-80300-10 Expired
7.54 KB
sha256:5a1e7de23732597c279f5fa601df7d5008952bcf68344ef52668908ff077c845
results-80300-11 Expired
8.73 KB
sha256:1c8cd74d158888986195228f942818d1067cb7bbe8377caeab59c16831ba3b4f
results-80300-12 Expired
8.3 KB
sha256:8495a0f0cc4edfad656e2b87af484ad11f60858c1bd033bb3875e45b733856a2
results-80300-13 Expired
7.6 KB
sha256:574a5f4beb8c0b557a9403a589742e313e64f8ff978698eb683ac52132d3d042
results-80300-14 Expired
8.07 KB
sha256:8dc2cf47c2bcbd4998898e01bb47a552c5251cb00deabd316d80073b34a4f7be
results-80300-15 Expired
7.1 KB
sha256:e1404dc671b94d6d083ab6d50a3056adc97dc26623148d473ef51ec7f0488b38
results-80300-16 Expired
6.64 KB
sha256:717f28cb7960cb3b58be9b50c906fd085e9e81a0ce31b634f66ab0c01eebca2c
results-80300-17 Expired
9.37 KB
sha256:028e92bf43f05d676471f82d0c7a6f4012b72ede68029480696be41e5e67a3ad
results-80300-18 Expired
6.67 KB
sha256:0397d67962ab5d6d00abc7a8887c5b03cc553017352712ce33b602a2fdc9c312
results-80300-2 Expired
11.8 KB
sha256:51377e4a05d6257a74bf7c63588604b51ce097f80331645eb0b741f6fb6293ad
results-80300-3 Expired
7.19 KB
sha256:9a2ef59891f51d7f3907e8397fc13c658434073509c44b0cf3ab0475f4e1cca5
results-80300-4 Expired
6.64 KB
sha256:d1a42f6129d806dced87bd8b810bd3b9a6f6e5a31dec6e67d05a13d37e154280
results-80300-5 Expired
7.42 KB
sha256:347d08fcc66f2e62cc0ede6ac319f43fc314584c05a19d26b5636874b6152dd3
results-80300-6 Expired
8.07 KB
sha256:b73771301d53a564a904fb7d1c7e4a6ada677e453b6adfed80641d6efa9562e9
results-80300-7 Expired
7.23 KB
sha256:9924b816156abe5fec54c4fb8d92df2f96b43b3dc9a56d7c1e4158bd1aee4652
results-80300-8 Expired
7.63 KB
sha256:9de694aa1518ce4f1397b21e0da2771f5dfb75e29db0ea717a979c87b01b7d7c
results-80300-9 Expired
8.04 KB
sha256:096ac22fedc3be39a926719e7938aaf2eb898f3e7ebb846d34c0f2f99f95fda2
results-80400-1 Expired
6.92 KB
sha256:5537919baf3cb12c09ce175a7ea9f1f254d1d73067407f6c27109b8a0630ea3a
results-80400-10 Expired
7.54 KB
sha256:4bf2733d12b9cfd3b341816e8edfeb19c2a4fa65b9eeca8ad52c9a023ce1fdaf
results-80400-11 Expired
8.7 KB
sha256:89a1662eebd25799481d1807f481d913fad65e50271491024c77e95d5fa7f28e
results-80400-12 Expired
8.28 KB
sha256:617aa0cd4da82fb3eaa87fa80dcdc76e544b949d52f3ecde315c41ae55e733ba
results-80400-13 Expired
7.6 KB
sha256:5cb21efd5b7ee79f1ba2cab3de21d02d053efbc1d68cda7426b2f875bcdd005e
results-80400-14 Expired
8.19 KB
sha256:0f3330d644d50c2361b8efe3459c77016feee97c199a842d21da12d0d708982c
results-80400-15 Expired
7.1 KB
sha256:bbadafcbfbd10b462dbda0eb42408771ff3c464bb6e7a7a97b90a16b7446c953
results-80400-16 Expired
6.59 KB
sha256:27ba6436804fe75c99d97b802bb809a0bf091de0cbcb4bf798d1daa03d0d4822
results-80400-17 Expired
9.33 KB
sha256:aa673ef9ba1880b193ae1500af48792d1e0e9a9c8721433d4a0098a84216c8ae
results-80400-18 Expired
6.59 KB
sha256:e627b531a7d3bd66fe0b18c83b407502803c6d6ae96aedd4e21109702d68dc80
results-80400-2 Expired
11.8 KB
sha256:7541bb1037baeb69dc4ed304e15d73044b636dbcd24ad02d94857b7af24d17b4
results-80400-3 Expired
7.26 KB
sha256:3451671c670496542d2f561ec108f70601c65e037eea059948cb8fe0757dd38f
results-80400-4 Expired
6.64 KB
sha256:d1cb5fa2d14a6f2a62b6457c32fdc466e4aa113fbf48dc3c655844084ca6c163
results-80400-5 Expired
7.41 KB
sha256:6824c890996a6abca50c73643684f7cc2e87670aeea7ca8fbc91c48fae9b68a5
results-80400-6 Expired
8.07 KB
sha256:8cbf8a03227005d283c174ff9da49bc15c297d298287a60491d6ebca7bf2199c
results-80400-7 Expired
7.23 KB
sha256:6783c43303b80fe795d1fa055cac1fd1f0eef29e31a42dd1b523067c296129a1
results-80400-8 Expired
7.59 KB
sha256:22913a54ef39188c651d2206841cbda7e200075fb9ca2b7a44ce80dd6cf0bcb3
results-80400-9 Expired
8.04 KB
sha256:1bb9b24e7aab748c8b8c4a257e610da33eace394a6f69929960a9e9df7d1c04b