Skip to content

Improve ConstantArrayType inference #13283

Improve ConstantArrayType inference

Improve ConstantArrayType inference #13283

Triggered via push September 27, 2025 15:41
Status Success
Total duration 3m 34s
Artifacts 145

issue-bot.yml

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

Artifacts

Produced during runtime
Name Size Digest
issue-cache
585 KB
sha256:5d77fd527001b9b11d89c640cf4586368c35f5b713f5d5765537807a40673475
playground-cache
552 KB
sha256:4d5869aec3cbecc168861bcba09627ea874a2834e4eb811ce81832616c3885ac
results-70300-1
9.37 KB
sha256:9ee12bd7a8858ba503b2004bd7278247f50ba4436d88c672b4da5e207072685a
results-70300-10
8.43 KB
sha256:79b97e6330a10011853ddbd43bf3002b85ffe5341920cb2843f490385a820f1c
results-70300-11
9.82 KB
sha256:c10e893a9de58b1a0667b1353ef2d8ba84379a3e2f30d22086064e01f12a9b57
results-70300-12
10.4 KB
sha256:eef833816f12bea4293f3d60a3b478e80f5f32f620b0306b50221f656d822e82
results-70300-13
8.66 KB
sha256:d79b4c8c1c94f2eaac997db5f2e3104ac93934874a0e9ce18ebbd7972c3b629a
results-70300-14
7.25 KB
sha256:c24a57207ef9215faeaba86f3455a61bd20b8a3f3533507338b8f374802efba8
results-70300-15
9.96 KB
sha256:a1bb9d8b697102692f973688cf2561ca5f4d79f2292a91ba5178ff4b412b6392
results-70300-16
10.2 KB
sha256:1ae6affd6c0b3389045ff334db457f16a5c7e5af82a6c178e3e30a0876016572
results-70300-17
9.21 KB
sha256:105e67e6a0f6eca1e30edefd5ae046148367d0a754353fa77524ceeb2b190f36
results-70300-18
9.66 KB
sha256:8a1deac7bc5c375076e53967772d39e8ad25aeb0dcdbd8ff28f05bb2d51cb7f0
results-70300-2
14.2 KB
sha256:eb280eac1e012690bc13a2ffc9a145844049708272df4a82cf88cfe88d46abdd
results-70300-3
7.51 KB
sha256:ddb18f665e20415766f6752dc04a14f128113c65e95ea9901dc980770b17f120
results-70300-4
7.5 KB
sha256:595ed615131238c5a90cb8508decd7da6c66fd5b78b77056e7e5fec269889613
results-70300-5
8.45 KB
sha256:8393cb5d7cf7e12de9120a3196414c6a9bf8c2bc250b3fcd1cf30d874f1eae17
results-70300-6
9.08 KB
sha256:8becd1398316e5fd3132bc1adc29224c4dc2bb13944160505574fafcdec2b927
results-70300-7
7.47 KB
sha256:a6c14f83c259ed1cb727acd9eb53ffef01fbbd984bdf345b5c2cb3f7582435f5
results-70300-8
9.74 KB
sha256:c830dc8c120b90f70cbd8fba2d5289eb5babdd1e3a7ace78ea0e9032897ae3c5
results-70300-9
8.93 KB
sha256:bf7ecc8273b6c7d83ef017f8b1ce20694d598d5d97515cc0315608e777b4860c
results-70400-1
9.24 KB
sha256:154b7ca439c7a9e5abfb0484d61454c49c2af435cf04efc5d7ba589d83bce5aa
results-70400-10
8.39 KB
sha256:65fc3738f5dcd52352dcbd0a95bb242d8633164527c6e3dac3afa89e42d51238
results-70400-11
9.75 KB
sha256:3f32763d44379e7c7a6797ac4f7522f7746cf41fc6a97f0a928822d0f79a03f7
results-70400-12
10.4 KB
sha256:3d7c4bb34a45963f86d90fb78cf3dce8af61d31672fd6a2eeb5d1002c1bbdf35
results-70400-13
8.66 KB
sha256:9cd5d0f983bfa85e6549698c07fc9eaa10d23fa0ba72118a8390883ff1ac5196
results-70400-14
7.25 KB
sha256:8ac20cd876d7be4c2075f8fa8eefdd50a09b6202c3e8fa7be58fa66a7ae949b0
results-70400-15
9.96 KB
sha256:d37b8240f1bfcd5e8a44c2f71dc10442736bbca2ea81f73d39d51593c0ea5c23
results-70400-16
10.2 KB
sha256:a1d453e25f22e2f2616e50fbf7757cfbfebb9ff06a39958ba30b8d8d048d3379
results-70400-17
9.21 KB
sha256:3f39fc0de0bd2ace1442fe896c7a38b012fdcd58557ad045867f6ddddac6e07c
results-70400-18
9.67 KB
sha256:e6060716437b73d66fd144ae43bd2353c12633f19d2bc814f4f5f346bd312f7e
results-70400-2
13.9 KB
sha256:13c6cc460f637225060752f41c3bc0c3cfe08bc1bf67faa679dbf4dfbe5c0e97
results-70400-3
7.51 KB
sha256:59cf1e503cf8e1632dafa02ab1bb067fc35c23ae4cda0c586347e2906d20e937
results-70400-4
7.5 KB
sha256:209b81d7c06c68a2c7bc619635fb375bf03b766c2d0caaae91022a03585f8065
results-70400-5
8.45 KB
sha256:2158c6a32749d254266ced9395f2889a2106b9fab09b039aba51f57c0ba7f254
results-70400-6
9.01 KB
sha256:bda56982b76a3811e8e4813d06607f9600af7d8bfd1130ca91fadac5c9d7d432
results-70400-7
7.43 KB
sha256:b58f43f11fea1bd34d10a4723ded35aef8b8e69a2b48d2fe199f0e8863208d62
results-70400-8
9.74 KB
sha256:6b3c22d627c58c78a3a204afcbcc7834a20ed1c29719cb3d2fec47524b1caef9
results-70400-9
8.93 KB
sha256:4785c42621dbf52afc9b0b36ce41e4f8680e2672981f1dccea7d4e2296ba1fe6
results-80000-1
7.17 KB
sha256:96ba4e2cbbedc71b6b01dc815b500f749c180f4e46bffaf5ca5c9891200abe2f
results-80000-10
7.82 KB
sha256:8122bf6dc786007859fab874385f7a78637c75750fd933432b8a618ad52beb98
results-80000-11
8.09 KB
sha256:f59711895d928e923bb345ab44eb29277a08b79f9f5a70b645716767f7ca97c5
results-80000-12
8.06 KB
sha256:6e01a95443cdd1339cc86a9633aab6c367a2d289211f8a6fac26e91eefa5e413
results-80000-13
7.52 KB
sha256:e77b071bef96eb6baddab627ae13178bb673736d28c46e95b77e383083587659
results-80000-14
7.03 KB
sha256:cb0c0ddbe1429f1afebe357cefda38c9806acb4c9d9561cab77f66d367a5e3de
results-80000-15
9.21 KB
sha256:b517b4b4b6e4b54ab15546557c6f87cdbc5cdaf4d7cbe7db87b24902428eb951
results-80000-16
8.5 KB
sha256:2b774e31f7223e86db257c4dc9be2c11ba1d036b76abd67abb599d6ae2c12929
results-80000-17
7.42 KB
sha256:5389dde25b8e1c09c3f18d2a1ab7d1e410b4d894cbabe40d1149b6ecf017d453
results-80000-18
7.92 KB
sha256:ec6efe360aee50cdfc378e292db68665d005e39b3c3adbc6f341a24ff64c38aa
results-80000-2
12.7 KB
sha256:56d9838529f22c4c8a60d94da53753a2429bbf75abd4c6109116aca55d7e093e
results-80000-3
6.84 KB
sha256:5736677c681ed18a0e3c75b52b622e9c93193258e5b2bdb68e50792d8866a5d0
results-80000-4
6.62 KB
sha256:9c765ca018263a857eed6c132ade57926d64354b021d40438f3fb6fd81aef3a0
results-80000-5
7.39 KB
sha256:f7f074ef509902bee56ac0b14dab3f67cfbee52706e67a667a9d86ec7c6b61ba
results-80000-6
8.59 KB
sha256:3409e3d50d5795608543b570e856d7666d7e0c4753915f2bc3482de5fbf02327
results-80000-7
6.72 KB
sha256:b8e84257230e3791a6b6fe483dd86c28f8b93046337d78a8a43e2c3da3172328
results-80000-8
7.71 KB
sha256:2a6cbadce43ead40520f5f0dc215eac86f155abd7a59a5c07c456d4466ee938a
results-80000-9
7.98 KB
sha256:ffad823420ac002f5024b7ccb45ecc263bbd042c5245a3360b7cc07498405173
results-80100-1
7.16 KB
sha256:55c14dada4090eed6386f4359dd5305aab98881075423ea9c04f2c29f54c92f2
results-80100-10
8.35 KB
sha256:5e86e253b288f107ad6125c2d7908016aca5503442af9cdf53c911674c355cee
results-80100-11
8.1 KB
sha256:5ba287ebb47dc1eadcab2d09aac4ff2c8e28f8e793cde583d1547a1d212ce4c3
results-80100-12
7.84 KB
sha256:53d672e82b0b02a284f6684b2cdd174ccdcc11bf0005ce9fce22e0e61ff06332
results-80100-13
7.59 KB
sha256:a47aa1cf5475308693d30f6f57836a830a8673568c9a66f6edb7949c570b67e0
results-80100-14
6.98 KB
sha256:318550fef2f027622884001886e9fa0982718a545735c95bb41d7c18e9cf45fb
results-80100-15
9.44 KB
sha256:125b8bedb029e407dfb6c5dcb5713cdeee50ceba1f3958482c0b0ba88de90de2
results-80100-16
8.42 KB
sha256:d767913e40266ac5865811f6c27f08324cce75fd8b6e5f42758d1bc819512f11
results-80100-17
8.49 KB
sha256:f823a79e850424cc370af8402e9d3eecaa17f3a8f9909aceb19c80857cf50492
results-80100-18
7.72 KB
sha256:cb08d25c099aec11a1221cda72074fb72737754ed3c1e966d9633bdb9f123773
results-80100-2
12.8 KB
sha256:215dd49583a606eae6f384532bccc84e0e293258cda35ed39d1e4f0c7e271516
results-80100-3
6.76 KB
sha256:2aebc5ecfa7f0db123779efce4f14f3c453205b1a71e7d3fe6b4e392744b9b8a
results-80100-4
6.74 KB
sha256:8ecdb0f847381c29c94810c845a23ac1fcfb73e0a001a96fd12992ada6ee802f
results-80100-5
7.4 KB
sha256:d47584818890f8eebcd55d4bd8525e340c390eab42e1990e923441856e79ff36
results-80100-6
8.45 KB
sha256:e38759c364412cd1acc8ac494bf2b6400437d7cd13c376e6fe4fb94c7e17a5af
results-80100-7
6.67 KB
sha256:fab80cf8cb5b2039f572d4f3138a53be1748070477d5d84c7f434266e5d1d319
results-80100-8
8.64 KB
sha256:70c38ab1f14acdbd48ec0dbb6ce2eff2d60f99a4a2e68998a7890cae7eb2b957
results-80100-9
8.08 KB
sha256:4b1eb962ee775e18cca4d9d963021b0c6193319f4cb7b19766a7efb693612acf
results-80200-1
7.12 KB
sha256:9dd66107d55751ccf881c585ac4ac125d08b127cd72c35aa4b140cfe0cbda7bf
results-80200-10
8.21 KB
sha256:7617d83d3658368bfd637ff8126e4f2a9719e5c0f263f31f55720e4a85be6a8d
results-80200-11
8.07 KB
sha256:edb905f8490dfad1a804f14735573af68d66ebc5fe7c0a5d186d6497f4240cfd
results-80200-12
7.84 KB
sha256:4f14be500872b244ed5ad1402df57fc8814c42954f7bee7d51c1f04a72a85859
results-80200-13
7.66 KB
sha256:c7d58423e06606968ebe69f2cd0488f4cb834505ddd99d201d440dcc182263ad
results-80200-14
6.98 KB
sha256:50963fe1f16a0b219ddfa136a627cacdb7a9718d47e7a45c1c5153f24c1c3974
results-80200-15
9.34 KB
sha256:f53a124ee778a96d71c74e6118bc99a7e904e410b2d0232851228c2c4c557f5a
results-80200-16
8.29 KB
sha256:6b6649877f9a031112d6d3a0bec6ab05a0dd4b5ac6110c66d409ed013dbf832d
results-80200-17
8.37 KB
sha256:47e5479d5f128f547102d2dbaf7191ce92eafa1236ce7f598053167f8d6f557a
results-80200-18
7.77 KB
sha256:6ff67124bb6b8c2b67cede056babb92619227f2618c8bcbaab1122c985fa17ff
results-80200-2
12.8 KB
sha256:024b42c255060577a34a2cabaef1a04a447c8ce80d46923d4d99dc0ebe29195c
results-80200-3
6.83 KB
sha256:f2fea4e40758bd2ec616aaf014f2369488f1318fb88c24c60b51d24164237946
results-80200-4
6.76 KB
sha256:4cf7b18ef2ca68c922d25e1aad26938694b7a96c0460e1e6842d0e7a8ee14bf3
results-80200-5
7.35 KB
sha256:9ee03f41bca2cf06728737b546ea8ee92e3e38ba899fc935d014c33ceb3469e2
results-80200-6
8.47 KB
sha256:c09da029abd5509120f6c708bf32d213a002d64ec10a17ec190c03ae04c1f893
results-80200-7
6.66 KB
sha256:0444cfd1ef274eab12da0286b1a7ddf262e6660eef23bd62939e6fa53e4c403c
results-80200-8
8.29 KB
sha256:2259234d43d5955e2421cfc6028c1d9ba662ccddce636a1768ae81d9537fa432
results-80200-9
8 KB
sha256:d141ea20cc154a0e773d1c6acf1e0d2e49c7f12dfbab702b6b4edea99fb03f54
results-80300-1
7.02 KB
sha256:30863f355ca751eb9eac4600f2e8abbfb90cde88eec6f8983fde866f475ca694
results-80300-10
8.21 KB
sha256:2e0626c4f78fe68b96f78a9324cf179c1da17ea7ed3be649ee4e99ac89f4359b
results-80300-11
7.91 KB
sha256:4ce71846fea5c839670c59a2867c1835c9962040e89301c719948c99ed8a3bd6
results-80300-12
7.86 KB
sha256:a9e89c6afe09b797596e1885b60eccd22ca6c7f6df9487db003e02526c41a752
results-80300-13
7.66 KB
sha256:d18481d59ff46f7e651f07791c041c6eb26124e8294996dd4f7495adb25c4ea3
results-80300-14
6.98 KB
sha256:48d85667b666da9e545f84f164008813a7f95646b97b2b019a4b6330c5f2e69d
results-80300-15
9.28 KB
sha256:46dac42ab10b05096d28df7ceb8dd6da5989885f276c24807ddc84bc897bb15b
results-80300-16
8.22 KB
sha256:55526ef512d4f9b7a0da6fd95277e5d51a546f86cd5af8a0faad7e85b340691b
results-80300-17
8.28 KB
sha256:23b238e909f5451dd85ea9536a0c6af51453ee8b9f460b438a7dab454a09317a
results-80300-18
7.65 KB
sha256:be217bb4797b36a955f0618f4c44d1a73391fba2d3e7b16cba727be702b041e9
results-80300-2
12.7 KB
sha256:b28b4b0442b9c909850f9c9661a79afe6cde115a9f6b7aeed5d7f0588eef4b64
results-80300-3
6.83 KB
sha256:1fbae4fe433bf88c29a843f3a29362a224c69a0847744e65bd16294f89944563
results-80300-4
6.76 KB
sha256:b0846324d1ba596be6e282f18097884e0334e2e8d7495ef72901f74db5adf294
results-80300-5
7.35 KB
sha256:2fda947cde8a8af1c43b08da7f6489f9f6edb6bd043cc9e0bfa9aa8b17b7ff61
results-80300-6
8.47 KB
sha256:841ca9d4297313db44656a00992d78e892e50156b2e84401a69ec022b7d416a7
results-80300-7
6.66 KB
sha256:6e518537a50d713b4fb88e354a33a4edf898d3f9f04b2d0ee782302827878d72
results-80300-8
8.29 KB
sha256:65fc542aac444ec773559270d468cb42e8f417236c8510bc18bdf2e7dec17497
results-80300-9
7.92 KB
sha256:8e1f416d4424b71d32ccf15f019a5725137f070936feba4017af870a3b2a156c
results-80400-1
6.97 KB
sha256:94bcddfa06b98ce7163ba2b6d3e211b1d7f4df674a87da7e16f94eb195f519f4
results-80400-10
8.17 KB
sha256:a163643a48323b112135520b227140c7808807cc4bf2bf2a2292406487e55805
results-80400-11
7.89 KB
sha256:47ab0d897ca13dc769f6211f4611eb25656edcea85e3a0bdeca8c707bd1238ad
results-80400-12
7.99 KB
sha256:226bed3716b1f60e95fea4fd483a6bac0e9d009ad95892b33408dd4b56ad8561
results-80400-13
7.66 KB
sha256:b9304bf7d12512b121e09e3cec0b9ccc169f5c117694de183e78eb58fc7e0b3b
results-80400-14
6.98 KB
sha256:044cb056f978584facc8f825310573399c12bfec0462ebedfafaed6b3422bbbc
results-80400-15
9.19 KB
sha256:f91ed16fb15122205b696589d78b29bbccc41e214f82a3d9473f4c3a1802e0eb
results-80400-16
8.15 KB
sha256:28e6300425b9f892a2a8f64850661709097b3c46e6fb8c078e3706397c9a6148
results-80400-17
8.17 KB
sha256:cdab7d5eda666dc69953c393aa91835083dc5a57c1a7cb38a9d09a783ad57dbe
results-80400-18
7.46 KB
sha256:6712c0cf441cbef24b27feb08c9dc95d09ab55da6811926f8d751001c4bb626b
results-80400-2
12.7 KB
sha256:f4e7bc34ff2393c9c8354272d8115f4ae92b65d300572451620781b9de7fd3a8
results-80400-3
6.91 KB
sha256:ec9e5c0d65f23746079d6ac93e28024da18d96f3e7c4e763e3f37ba8a9ab8afe
results-80400-4
6.75 KB
sha256:98690f7a2084556611a54baa6f7811c24d8dc031edf51ea1d6618bdadc858694
results-80400-5
7.35 KB
sha256:219efdfb5afa8a971d9956a83d40999e2985128335feb361ba984bb04207872b
results-80400-6
8.47 KB
sha256:a36c3a11fac27f25dda01e3cbcae854b1426d7854b3781cf0846864720dca560
results-80400-7
6.63 KB
sha256:1d39a42cffced0399e4ef3808f5159294446c9d2166bc248f2b0c4349de6b835
results-80400-8
8.29 KB
sha256:fad131d6949125161df994fd6953fdf9f9c94edc5200c4921b08a405f41779f0
results-80400-9
7.92 KB
sha256:b9d89a79b1e6992c53b647b6ea25c8b274801265f1a96db523d3807bd33bc47c
results-80500-1
1.09 KB
sha256:60e005eb329ecf990b194649d68d9fcb10abb1c2ce71dd2b6a9958158d3f4dcd
results-80500-10
885 Bytes
sha256:59c74f6131e17eb4344585d297828a1256d4a0d0c60e934ff3f7bc46293d4cdd
results-80500-11
1.26 KB
sha256:441afc99d6e72d335363deeb95cdd4edcb9ca8a81a285715b148df16f1a75800
results-80500-12
991 Bytes
sha256:f9bf97dad9beb12c9b7d70e6179b236d18fa096f8844962060f1d9f4a9d13d37
results-80500-13
672 Bytes
sha256:4f2a969713d0fbd40c083d3bf716633e40858ec54d9ab0812390ebaa7cab3e33
results-80500-14
1.26 KB
sha256:5995b37e3a0a434ea7e994785b03c77ab374e00a358f26eb52dd915bd60dab99
results-80500-15
866 Bytes
sha256:407341df2ed971c23366ba6cc8b26b7810ff7744e230518f7bddd57c8e165492
results-80500-16
1.05 KB
sha256:92a55a4c255de302e8e510f53a00bf1ee0a073064ef74047ebd9de6946db29b4
results-80500-17
783 Bytes
sha256:ac4d38a8d2fac4522397d1b4200de0b2c21c3f1b7f3c710dc5b83aecd3f56969
results-80500-2
848 Bytes
sha256:20201f704dac4e6603f37e3dcaaa125e5f6b0a76dfe1ffde3f39b22199f9cce8
results-80500-3
963 Bytes
sha256:20a403aa2bf7c1d2dbf5a2af8fb5fbc57edf5413ed5c1948069140814d9902fc
results-80500-4
860 Bytes
sha256:d6866e6b259b141ae8621bad536e7441631185e4caedf8c7fadecdf2c4104bc3
results-80500-5
1000 Bytes
sha256:5463e8e458821e6ed0c932d6db7fbf931b7ee12c60b86a9d42668d65988b864e
results-80500-6
922 Bytes
sha256:b8950e814a86e07f67129c5339c60fedbecd86cf2d7cf89fa9f580a9aabb2954
results-80500-7
846 Bytes
sha256:0ec265f4a4fbc5c539b3e94047c71c7cd10c8fa4476770861b9c01d8cc6f79b2
results-80500-8
1.2 KB
sha256:840012d843f7f65f555c31d0ef9fedf8451ed8e5a865aca8b4becff972881beb
results-80500-9
1.09 KB
sha256:4b8d82647150493d59b8533df1cf785332f2231f12d5fbb003e0e6740ab37344