Skip to content

Fix always-true detection in in_array with union type haystack #10490

Fix always-true detection in in_array with union type haystack

Fix always-true detection in in_array with union type haystack #10490

Triggered via pull request March 21, 2025 05:47
Status Success
Total duration 4m 6s
Artifacts 128

issue-bot.yml

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

Artifacts

Produced during runtime
Name Size Digest
issue-cache Expired
571 KB
sha256:7abc6ad1ebcb6a6dd27a7e03e05b9f27f4e87d8a21bd7a78731b3f4777b9a947
playground-cache Expired
496 KB
sha256:d3b8f9ac43b5a807603e370289e63f55290f783d827425a9eaa108d1a020f4fe
results-70300-1 Expired
9.05 KB
sha256:e48dacb2aeb165156fe072760ba17c8a4bd0d5387300cd3806c007ea9ea63c82
results-70300-10 Expired
8.19 KB
sha256:cd94ea5aa23903da1a68b57d52d76ab3915aecf153457efe6b85b5345e5b5db4
results-70300-11 Expired
8.91 KB
sha256:4b283937f69ce58e441a29acf373d36313c78d53f45bddaf87d1c3c24e760def
results-70300-12 Expired
8.37 KB
sha256:1c0e787f9b6042a900e3746630709aa69669a457fc7523c5c0cf37e22658b2c9
results-70300-13 Expired
9.67 KB
sha256:3d6b81160d3ac487c8fa313d0b8eaa3cab9e30b461bc114b0e5103dfc7e1c0f7
results-70300-14 Expired
9.95 KB
sha256:bbb27a8ec0e190cd01e0c2b71fd05bfa94b457b81a35936c89ad92a3ed1f796f
results-70300-15 Expired
9.55 KB
sha256:7040476427df81a08ad6b559bf0545646261570821943c25e685067d6f9a8d61
results-70300-16 Expired
7.92 KB
sha256:daf52bbeca0dc826fe5a2bcbbe264d37810c21982d99a3f7a888eae926a734f1
results-70300-17 Expired
6.37 KB
sha256:9641d59437fb81f5d9c280ba40d184a515aa51e1837f80575635cebef6047a81
results-70300-18 Expired
8.29 KB
sha256:66a278bb8fede34534919eb6e79ebfdc2edc2374331f7ca5db21cfbc1459027e
results-70300-2 Expired
8.87 KB
sha256:481a418d5cfdaa469dd1c5aa6485138594c5d08059d085dbef1a9d25333932d8
results-70300-3 Expired
12.6 KB
sha256:080105de2e738c33d74f975e5616004698ab7b3826569236b17f90dea0cba37c
results-70300-4 Expired
7.23 KB
sha256:93058b1da05cb37b2427cf798918f55151a87adb2b2f84915d8d3345e3335e3f
results-70300-5 Expired
7.38 KB
sha256:b877eed8a3a113dcb16c04a9eb0de0a9190e3543caf79a8c02ea3f033c32c20c
results-70300-6 Expired
8.6 KB
sha256:c72f0e973118e6ed9be5c7137bfff61edf3aae86a94d772ac8b7034be74ae246
results-70300-7 Expired
8.09 KB
sha256:876f6cf0f7de92959cfda2854f95ce626702d404bfd3caee0bde80ce958c0fa7
results-70300-8 Expired
7.39 KB
sha256:fe97572e3e5d72458dfc021cf682f6cc1b1ed06690be7ecd200043883e99ae82
results-70300-9 Expired
9.53 KB
sha256:a40e011c0ddee43db63b371ed1afd4905424ff72d2f56aa5dc647d35fae7a607
results-70400-1 Expired
8.93 KB
sha256:77db6150a277145468b4fd78d075041edf95f80de98f3d53663c6b96a0b13af9
results-70400-10 Expired
8.19 KB
sha256:9fe791d4c1ff19d9fe3ac536c5f30b86e735c0fb41dd10313fa027628bdd17c6
results-70400-11 Expired
8.88 KB
sha256:ed58f022c5591680fd51cae42c89fc51f40254bb20df2d51c32077a995a5cf1a
results-70400-12 Expired
8.37 KB
sha256:77b5f7fc0776552bbbe4111e715d4b4a52d45656aa7f2b6dae68686f7579d12f
results-70400-13 Expired
9.63 KB
sha256:d46e2aebf188e78de181ea9dd49bad553769005b0225a3319af154358bb2ec9a
results-70400-14 Expired
9.97 KB
sha256:1e619cd9a89463229571775396bc8ca03a0708ef3e809c67d0aa0dc8c972e8d9
results-70400-15 Expired
9.55 KB
sha256:04e75021b1e355eff6269e094c5db361bae413b6ed9d36f753bbe42eaecd4bfb
results-70400-16 Expired
7.92 KB
sha256:2b4fa7e7aabc244789a99d8d53607aa90fe587b684703bddf9a17a39dcc46d38
results-70400-17 Expired
6.37 KB
sha256:6e5941741c1c1933d25f83774df37b7620fd5b775802c9c4134857aff64e49ea
results-70400-18 Expired
8.3 KB
sha256:0519529233123b43ba600019987ffbd5464f61739a7171e7f446cf688ef2228e
results-70400-2 Expired
8.72 KB
sha256:beb00568b7f4f6493bce448b327b4e353230398e20decc06ba8924f041293209
results-70400-3 Expired
12.4 KB
sha256:aaef5a17b8613bc19fbc465fb32c9976b0c98e27344972788cad28b94e4263c2
results-70400-4 Expired
7.23 KB
sha256:27eda05050ce9b676673b1eedf43b00ab2357203ffed96b3eaded6c6421378df
results-70400-5 Expired
7.38 KB
sha256:fc6d48f14952953f26db0b9745828c545f1b3a68b9fc638c706ab89d303fdf4b
results-70400-6 Expired
8.6 KB
sha256:cf5180711a0461163769fb8cc3fb0b601e1eb7ba8ac797a8850986a54db01196
results-70400-7 Expired
8.02 KB
sha256:d3c39d8f257fb7cfae4bf6dd3313045c455c4125925e6c653bbbd36c9348181b
results-70400-8 Expired
7.34 KB
sha256:e2036a9793f103286331a30906796da004ce4ffec5e7257819b7cd1c4776f2d9
results-70400-9 Expired
9.54 KB
sha256:9b46ee686d471f422c14d0a1c35abf553b993487b7e406279f7526a9cdb5f383
results-80000-1 Expired
7.13 KB
sha256:a56d26525069687411f47f6a2b0eda4158a32535b5c98fa9d5d5971a5acc52ab
results-80000-10 Expired
7.59 KB
sha256:af5d7a12ea49873cfebdb16a4fe80287d48a1316183203368052470162feb7a8
results-80000-11 Expired
7.82 KB
sha256:014142867fbc03dd2723319f482bdeda284218b1500eec180e452986b20b5808
results-80000-12 Expired
7.77 KB
sha256:e3750e77fb77bf4c6833e966756651ab2b1351a51deccc00fb68cb74bf33681e
results-80000-13 Expired
7.9 KB
sha256:662643a6bd0f1f17505657a51328c503f288ff976a419d48016aea21c92eb35b
results-80000-14 Expired
7.25 KB
sha256:8546aa67b51f3822a6a05399e9c984c4a6dd29cf8a47392b4b39a4ee6cef645f
results-80000-15 Expired
8.13 KB
sha256:9be9e7d0e67a00d351aecfe6c6c3a89d59fccbba487a1ff6cee27d2044272bc4
results-80000-16 Expired
7.25 KB
sha256:f31b30e884f02950384fb990484cb08955a526d9f9eefe9bfcca13a654d8074c
results-80000-17 Expired
6.31 KB
sha256:0ef054603b4b42eaa978c10c0b8211a1487ffffed2cd6aa9dd037c0c550724aa
results-80000-18 Expired
7.14 KB
sha256:4d8765cf74871e20237591f3a75ff7c19389be240f891e625cee4799568ea9b5
results-80000-2 Expired
7.59 KB
sha256:922ece930afadc102068ad1e465aa62ba1ab7b45c3920995c4ebb5dc6a1c5382
results-80000-3 Expired
11.4 KB
sha256:32dd705e19665108d816dddf6310e7a14d200a466ac567f7ed81448062640d38
results-80000-4 Expired
6.6 KB
sha256:afdcffda3ec7a811a3de2e880765f7f4497812cff8d66a6a2148267e95c65b06
results-80000-5 Expired
6.78 KB
sha256:89fee7d2caa83a3968fdb4d11b97a4eadcd1bc9de753340e3df7f38b08d303c3
results-80000-6 Expired
7.88 KB
sha256:ae03a5e077fc700026af716d9b414fcbf2f3d29469e93ec33630941188480334
results-80000-7 Expired
7.54 KB
sha256:884a83236699d4ed928add80d0a210e9ab45d06c85e80edb1d7f65bb674cb2d3
results-80000-8 Expired
6.82 KB
sha256:bbd7a4f3c7d4ce1ca92dde8b0058c7210f43d55c9654f25e51d7c036456eb6ae
results-80000-9 Expired
7.59 KB
sha256:f22ad43bca96da9ea36b1d1daa0c88e3056a10530f926bbdd149d2cd48634d8f
results-80100-1 Expired
7.02 KB
sha256:873039466678e445806ce679300f7a344c80c06ffece114012f068d536696736
results-80100-10 Expired
7.79 KB
sha256:cf18c4da74ad15143a713648248d40bd3a8a50a94e2ee17bfbc89eaf5522ab34
results-80100-11 Expired
8.01 KB
sha256:fdf578f53f5fd32a6074682f22ca70a4a7148d61080990ddf702657145fc3634
results-80100-12 Expired
7.97 KB
sha256:3372c3a627ce32268d70838ef7f7a857e11c9dc6db81813abb63f72ab1e1a2ae
results-80100-13 Expired
7.87 KB
sha256:624747fc5b7f363ed67f411fcf165abc69cd8ee887cc5ffc0a207b641384e71a
results-80100-14 Expired
7.31 KB
sha256:35fe1cd6840242cadfab070b2d2c033287b47b14c2e69e9b6ff31dad159ec195
results-80100-15 Expired
7.93 KB
sha256:9f11a3096cad0ee9b032215d8603b0111d470eff2914ecea9f69f10a17485a32
results-80100-16 Expired
7.34 KB
sha256:4679fc1160e6f4f4dc31d52f4e0d7d332f854a9a14cc03a6f0a1305ec7fdcc55
results-80100-17 Expired
6.31 KB
sha256:1387ee7a83e7c966309158e7fdbd6093e6e7b10cf95c8acef7222c51d8a55ff8
results-80100-18 Expired
7.12 KB
sha256:c92791268828809f0d9a53f6e0600922b9ba4ef942e021ae7a848530c66ea03c
results-80100-2 Expired
7.64 KB
sha256:831f9677aeafbd5b0b09f26d3116b05a954c656b65b0fc0c304f2d767840f1e2
results-80100-3 Expired
11.5 KB
sha256:9270b2c9a4c6c9fcba55e3cddc3c10beeb80515032bac894fd03307d8cb4d9d2
results-80100-4 Expired
6.46 KB
sha256:23e1979d0e638962a03c2e8db78d325ef0659351619fb07cd9a09b36f8cf8d6d
results-80100-5 Expired
7.03 KB
sha256:d188be481e0d529eba5ac66fbb205cbd4afe8937c67eef21678221c469ca1123
results-80100-6 Expired
7.84 KB
sha256:72c95d8798487dc3e74b6c183e06762cf713b34e4ef70c1f8c072250e7efde38
results-80100-7 Expired
7.46 KB
sha256:1fe064287f40bce1b75b687814d00d8d4a1033cb5456ba22260bee671cfe6532
results-80100-8 Expired
6.84 KB
sha256:4275982e9a970661d532126471dfd51ad45c25aa25cc0fb3b67ffd2e8a58ade0
results-80100-9 Expired
8.38 KB
sha256:239027932ef94c63ac7fa46454a8c2495e508a35792bed64595961cfe5e7f5e7
results-80200-1 Expired
6.98 KB
sha256:62727b8a5a5ffd383492164320f75972f656ec4616ee5e2c88a2a12f517c42e4
results-80200-10 Expired
7.69 KB
sha256:4ccf28674457a0b12eb5d8fd88511a1491439ebc29f78c6e9ae6140878acaa4f
results-80200-11 Expired
7.85 KB
sha256:1f6536beb2950db10ef9eb5a7e8796f6831a30b6ce50ec4c663751fcda5a8a78
results-80200-12 Expired
8.01 KB
sha256:43cd4d1ea33a61fa069444892af236160ed2274ec1331b89cc5e3eac8f110f3f
results-80200-13 Expired
7.91 KB
sha256:35d56df427df2abaeb2f3d7fa1d3f2df665f54c522eb1c90e592dc2a1cfccecf
results-80200-14 Expired
7.32 KB
sha256:3c680ee36df644cfdd92730edf4317d5071d1cc7a0a22da17969a30e334ab083
results-80200-15 Expired
7.94 KB
sha256:4154e9e888c54184cc059eca3341f4e8f5e4a9c98ba9bacadab431e6e368b84d
results-80200-16 Expired
7.34 KB
sha256:f5c70f50146607e4a73a3a5e40d00f814e462d72585ae104105b43790f4b33cb
results-80200-17 Expired
6.31 KB
sha256:c84f6e2ce36e8371ed50c87ae33464588fa3c2138e2f568596248c5fea972a9d
results-80200-18 Expired
7.13 KB
sha256:00bfa54721dc899f70a3a86cd5f5775b4025af2db0b7faac6b94ae1cb36c967a
results-80200-2 Expired
7.63 KB
sha256:17a1990f2327c9634e71d61fa2ffa690ab7ab8c6dfdb7159858cd8c83d256d7d
results-80200-3 Expired
11.5 KB
sha256:64eb2311f24b5c416a25024f86ca74d234dbc922a6e9a8855d91133995279d52
results-80200-4 Expired
6.49 KB
sha256:e90188041ce4fb0e7557e2cb86de60e44ff6061f86f6c4d14f6e8823201ab57f
results-80200-5 Expired
7.04 KB
sha256:46ed74b826657c8f344f1a7d3fae6b32510698281983df4fe98ce1beb6b9689f
results-80200-6 Expired
7.81 KB
sha256:c6af4ffada7060b6012d6175f27ae40f98616b60fefce5ff172cd531ede4b877
results-80200-7 Expired
7.51 KB
sha256:753d679d0481a7138fea2100c30b43a19bf9128974fbb4e6412d6fc274f9e369
results-80200-8 Expired
6.76 KB
sha256:e237454c5cec285ac4963779ca8dc2e6e08a3280812446e84fa1112eda07c41d
results-80200-9 Expired
8 KB
sha256:4ba2dd264edf3ee792e9d2e2e880544ffe29a513ff7181d3e7e757230f380a76
results-80300-1 Expired
6.9 KB
sha256:2ccb749592fa7a8212a636be6baf59f7ae4141ad9cae95f7bec7dceb048d7496
results-80300-10 Expired
7.62 KB
sha256:33c002cd874e47eb7c069a9ef53ce3a14fd7b2bd63ce42c7718cc8114f7b0fa3
results-80300-11 Expired
7.78 KB
sha256:3ffb178f991fa866ab2bc1b7a329da4d6d2cefaafcba2a3b064f71bc5ae54224
results-80300-12 Expired
8.01 KB
sha256:b2634561717f9a3226e17285000d1dc09ee316834f5ddb32884082ca3b6b66f7
results-80300-13 Expired
7.77 KB
sha256:4eec99e8176a62e4f0c65bfea9a3cd125ff8ae8dc2c643299ecc0a0843315999
results-80300-14 Expired
7.33 KB
sha256:5c11a9ca7ec09a6e7ec9f66b3f603f75870ab6b54cc015e86918ffc3a4db3580
results-80300-15 Expired
7.94 KB
sha256:a7fccf2ba257a462f6401c9cf3aa434f1d9b9ddc31ee830ff5ec976200ce213d
results-80300-16 Expired
7.34 KB
sha256:8ae5f6e0f5c7b0956ad1116708d73fee0191ca90a5d5faac5142b7a883caeee9
results-80300-17 Expired
6.31 KB
sha256:b19a381bf6bcecec3379acac5e875c6da495b4086921a67e7a47dfb00cc78b04
results-80300-18 Expired
7.13 KB
sha256:cc48b4d3a381c61ae2f2ac47fc3ff8c76cc1165f70c2d16d75439ffa9636d98c
results-80300-2 Expired
7.55 KB
sha256:9f04f30fd7f570586461a47f23af98708ab4c704f19772fe46e0421169b18076
results-80300-3 Expired
11.5 KB
sha256:89a62dc65b74ef084d31d3a960893d1ad0b21906ff706a077802e532b5c4e982
results-80300-4 Expired
6.49 KB
sha256:6a9b43e7818e83d0221201b3f761a9442113cc07d36ad874eb40255ebb7ac661
results-80300-5 Expired
7.04 KB
sha256:ee9c1db09408fd2b6d20a28fb186244083669cccdda5371825bdbbc087fa90c9
results-80300-6 Expired
7.81 KB
sha256:08a7db97e7aa043d0e9a510bc69c9031856b9a9c9e8263505aa31c4898fea2c8
results-80300-7 Expired
7.51 KB
sha256:0ee04264223b493d6072324754d3986b9fc3993279d4d6b24d5fa67e040c932e
results-80300-8 Expired
6.76 KB
sha256:269229cf300fbdd59bf33ed8ec68d52a72e928e2d7a3965b2dea529b301d4065
results-80300-9 Expired
8 KB
sha256:98c4570f1f940e1150e64afc53beca8751d31aa201889948bbff4149a75487b5
results-80400-1 Expired
6.78 KB
sha256:0677402cd7002b9e1c10a4c6e94b9439adc3f17219ef75c607fa42780849ec91
results-80400-10 Expired
7.62 KB
sha256:2729d5c0d157f388ca08627c1666ad073030c95f2fcb6b455f0a52f954193324
results-80400-11 Expired
7.78 KB
sha256:0a3d76d4097ef2a897c44fd220f42f4f5cb49ef3d0bb2cbc6c78e74759ef7b87
results-80400-12 Expired
7.96 KB
sha256:c03cc488eeaa404b835c0555aaa3f75ef07d5647f6c44fd0099a52c664bce47f
results-80400-13 Expired
7.76 KB
sha256:a864d72f3f1ab866f44b730465a869c30ed41aa616129f410d703f2213f83ed8
results-80400-14 Expired
7.33 KB
sha256:51bd42b8aa790886478bcfa66e4d9961cc7ce8964d667e92813ded7443b0cbca
results-80400-15 Expired
8.03 KB
sha256:e025c8e27a5a1ab2a51a03e70a833a4dda3b47ab758b97b1b7f501664e19752c
results-80400-16 Expired
7.34 KB
sha256:9ab0185ff94b83b9fb7c959ea08901662fd33169e36e8aaa933174e6b095b66e
results-80400-17 Expired
6.31 KB
sha256:fddb177e0d9de722ce2e43e38a872ae1a4cb90821aa44cb8d86ee0079b49947a
results-80400-18 Expired
7.09 KB
sha256:507272cd20a6e6c35064c2851bc26a776fedf4da0244562b8fcbbc91a4601d59
results-80400-2 Expired
7.55 KB
sha256:3b01ee1cc2059b9d252a107d894cd1efaf90c25cd18f66d4782b9c33d20cb740
results-80400-3 Expired
11.5 KB
sha256:149514cd12df8c772e1478f8a2fe4274ce38de1cab149f6b550e88737bf04110
results-80400-4 Expired
6.57 KB
sha256:7f447c23d536de7f42f441880b45ede5c171a60c3ed34b9b1d59296d94a95037
results-80400-5 Expired
7.04 KB
sha256:d94bacc30f5e53469d8121cfe60a5b7cf669b4a2bef7ff5922614df3cdfb1fc0
results-80400-6 Expired
7.81 KB
sha256:dbad9f7e5da3b408a065f28164b0dcfd38e8b80b424d9a72fbf441fb2698b6a2
results-80400-7 Expired
7.51 KB
sha256:594b8ac43b99509ad8dc82c03a3781659fb22870aeb3d99ff8f66669ed259fb2
results-80400-8 Expired
6.74 KB
sha256:61be24f7dc17cf9f26b7f089e8e95671fd584175d6164625e3c47ec076adad16
results-80400-9 Expired
7.96 KB
sha256:0b422198174af6a56abc6ffdeff8e7638c23090019d9ea137411dba7c59721fb