Skip to content

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

Fix always-true detection in in_array with union type haystack

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

Triggered via pull request July 17, 2025 14:22
Status Success
Total duration 3m 31s
Artifacts 128

issue-bot.yml

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

Artifacts

Produced during runtime
Name Size Digest
issue-cache Expired
580 KB
sha256:aa9c111cbfbdada00fb9d25bda99287cdeb701b8a4d92c6602d631253f216cbe
playground-cache Expired
519 KB
sha256:e8dd78687ff38eb02006149b11a64583a28a9947327912a35b8c75bdc5e36141
results-70300-1 Expired
9.47 KB
sha256:9d127ffaf5b0e2557a711a28477982702a2cb4a6d957668ad9b0080482eefb9e
results-70300-10 Expired
8.67 KB
sha256:ec23517c2b0c3092ffd4660da9327db054ce4324b82cef09ade1bedc83bd287a
results-70300-11 Expired
9.1 KB
sha256:3cd417417b419adf34bb0a5b71b5c57bbf6592bfa784e29013efcefed4e4aba4
results-70300-12 Expired
10.3 KB
sha256:b8265fc130641dd7136bc3ba65d5d34d171badbd57ab2ef300ec12d259b9d827
results-70300-13 Expired
9.81 KB
sha256:ff202de01dfbe955f8df99a275d2d8833a250248612d6dca783f08a31885d42a
results-70300-14 Expired
9.6 KB
sha256:45436e89509872cc9a16c20058d85f731293707fe76a0f7ef32243216dc0a583
results-70300-15 Expired
7.68 KB
sha256:b82894be5067e24e9d2b9ebf13a89bf2e2aa86848e16628a8ad6ec2f7217aad8
results-70300-16 Expired
6.94 KB
sha256:ab30d154a60105ce387fce64dc337ce25007875777d4e5f613ff614b79323600
results-70300-17 Expired
9.8 KB
sha256:bfb334931d19bc7e04e1c168e4c9e3db97328591b248f421d0ca0aa111664d77
results-70300-18 Expired
8.9 KB
sha256:f221d4488e902dd7a49fe32b1647fc6f6ee20c547e3637c8b8bb32f95f21bd20
results-70300-2 Expired
12.9 KB
sha256:ad98e5ffd84a3f118c6d4b3d1048406227c1c0c3ae50e1a14b3e25baeda46b37
results-70300-3 Expired
7.97 KB
sha256:991b9e5e2006896e759689934f4ac8e5f8344bdb39cb37ac7cf5367467469f14
results-70300-4 Expired
7.2 KB
sha256:5fd7f90fc6824d9ffbf47a856b22e9498e66f39d1c55bb8dc26b725153cc1586
results-70300-5 Expired
8 KB
sha256:d8f1b66f1e98cc4462e7212c76ba2b9eb6c96ae3edb401c5996d003f815eb34e
results-70300-6 Expired
8.9 KB
sha256:3ae9a4967ae08d428aee3680d340bd69751834a5ca9274d21fab13b303262462
results-70300-7 Expired
7.62 KB
sha256:98464edf988eadd2cd1b9c82f680d38038b7935495ace3267e3705d776c461dd
results-70300-8 Expired
9.17 KB
sha256:190c6f6327f0a987fa2946a721d4d4463dd67dbebe3e009089f33d693778735a
results-70300-9 Expired
8.86 KB
sha256:7ae66196455bbd4909212ec636981305a9bd3f61a52cec27b65ef10bfd486c16
results-70400-1 Expired
9.32 KB
sha256:f5fca9feff7b85d8cededbded6ff3b2d44939b9b72ba374312311fc3501a9748
results-70400-10 Expired
8.67 KB
sha256:2c596cb96a1c6b4274510aec823bf2fbb231c87c90f51a9ddcff34cf211e1105
results-70400-11 Expired
9.08 KB
sha256:91fc7cdd07198b5d28a20fbe1e5249fd76c6f499bd297a88783c5ed0e99abf60
results-70400-12 Expired
10.3 KB
sha256:d505bb5d26918adc1813962237f1338c3f7ba4a69a9c1522433fec8b4a0870dc
results-70400-13 Expired
9.83 KB
sha256:6457bf3cc16e94f863648a43ec1c8f0e4089d4a2ac9801abb5e557edd7359767
results-70400-14 Expired
9.6 KB
sha256:bb5a2b2b51c3ada047ed08c20055446d4f6e7169a1d34b28038d74e43b64ad49
results-70400-15 Expired
7.68 KB
sha256:a8bf5eec1857e52dbab390e3088fa605e6c537469ccfca9c135d6fba5003edee
results-70400-16 Expired
6.94 KB
sha256:c2ddef199a3c304c3c60e700c1a1708d853ea3e4afc283dfb05af2ecf73f2e02
results-70400-17 Expired
9.8 KB
sha256:40073d9e69993f11c169c62896d3bcfab061a670b268668ec49c2b41e6d1875a
results-70400-18 Expired
8.91 KB
sha256:0b5e005cb972bd841978557106c0184ffa1f68bd05f014baddee80cc10df295b
results-70400-2 Expired
12.8 KB
sha256:a9e250d9d2a7b66fcd03d7a364d5a6a84d6c953ca207230d412f097fdb0f2038
results-70400-3 Expired
7.86 KB
sha256:d8f32a56e870a21090e22c43a436d4e1ce60c120e86d7caaab49827e1f5dfefb
results-70400-4 Expired
7.2 KB
sha256:39e0085e55315f57e78d5a819b8818a9bcbaad9c3e5eb6df064f0a728bf669b5
results-70400-5 Expired
8 KB
sha256:f4bf2ededc06a50bac08ae5779f6642825e5ec7ef0273013821b8897a8124653
results-70400-6 Expired
8.9 KB
sha256:717b294b93af08c3994ea85a978af3e0609b6d371c6a46b0a4df71aafd0f5d47
results-70400-7 Expired
7.54 KB
sha256:0e4b95e609c7b0240b3b03dfa24fc24a2dee574b5445caeec61f8bf4daf31194
results-70400-8 Expired
9.14 KB
sha256:1313c9341017e8077b11aec92e05dfad24e55b088dfed2428fcff7a818b4a961
results-70400-9 Expired
8.86 KB
sha256:9587aafb563e7e99371ef744286597edf8f9b0d4059541c37b5c92c93e5b1bc5
results-80000-1 Expired
7.2 KB
sha256:7049d81e96ff093b2ce420182b739d26b33271ba9863dab29a2e2b33e3678c25
results-80000-10 Expired
7.63 KB
sha256:22f1a7aedc8c5fb0643ff491960d8acab45a35e41086640cf1ed5e4a5951e692
results-80000-11 Expired
8.5 KB
sha256:aa295ce92a275af0f57936620ebadf285571e0627ab751d874379f322047a7b3
results-80000-12 Expired
8.29 KB
sha256:be9e99a3f577965fa3748801776ab01b4b9a9caa3531948ea84887d7b1acdb4b
results-80000-13 Expired
7.34 KB
sha256:7fffbdf0fb91bfaebdebedec3251e9d8853efd35ef0efd537bc0ce476387c310
results-80000-14 Expired
8.1 KB
sha256:e26e0970b8e23647c2c270ae40d2cae5b508b80476ce444e6ba306f44ea54e9f
results-80000-15 Expired
7.12 KB
sha256:4d771140d9e7c995847145790e01db9d01bf9fe3ffed7b96339bff289b8da83b
results-80000-16 Expired
6.72 KB
sha256:8b17b9b63db0840858461e94ca1426bd7dd85748e3bbd4c907254d7eb644bb5b
results-80000-17 Expired
8.7 KB
sha256:ed68605db61ced61f07aa7a8ba89c49ab8a693e447dc105f11558c97c01e88c0
results-80000-18 Expired
7.7 KB
sha256:3508483f4fe26e549f4d795462eea5b326f120477cf00cd03748a7eaad313489
results-80000-2 Expired
11.7 KB
sha256:2da0b9cef785d09c7539838282114267e17943ab9d69da2f56bc745cee0450f8
results-80000-3 Expired
7.09 KB
sha256:5694c7d0c8647aa6979e7d5277a60f32bd6b97c7deca8345d728975a8d02d8f9
results-80000-4 Expired
6.53 KB
sha256:df8a01549dd73551cf5b4462874f655c3a219cb9f38ca98b4f686ea659bec218
results-80000-5 Expired
7.23 KB
sha256:85ad88596b7366433c5e2832fdb3e96fc55ca35ea7cd2f9f04968943147c92d0
results-80000-6 Expired
8.23 KB
sha256:d2acf8ab57eb33e44a6200d5107d849f1ab67332a9cab51e253b8f4875996b76
results-80000-7 Expired
7.2 KB
sha256:1c93f1ab57aa81319ae6190011d884a8a2383334fa288d16898f67ba5d0ea616
results-80000-8 Expired
7.11 KB
sha256:323472544202574bc8d524a2857fbd47b9330c6ed71bbc20cef58ded93ff37ad
results-80000-9 Expired
7.88 KB
sha256:e0aca23dd18dd58211fedb5918b0feac3f3e2246eddc75e6fd05b4ea8cb2f717
results-80100-1 Expired
7.08 KB
sha256:d7eacc64afcd140eff000da3d282730f5ca60efbe52e0d7fed09747d291a241b
results-80100-10 Expired
7.69 KB
sha256:b3d1bb92f0be4572d122000c463c4347a7d07d98b133d53d829fe4a40b80d296
results-80100-11 Expired
8.76 KB
sha256:a2d962bcad18abd1150a891ae74613282f60da36128eb8f3ebf718c751dd1863
results-80100-12 Expired
8.36 KB
sha256:757a951c8c03942cd5936ad65324e7dadba5eb778c60034c8806eb465365d117
results-80100-13 Expired
7.36 KB
sha256:efadca61c94cc0cb5e49ade440d4539223c0c44e5c52a598a2ba1b6cdafb3bca
results-80100-14 Expired
8.01 KB
sha256:f8ef90bc197eac65a348844e8a2a10e40f767f74a6ef9f1fb9e7469773a4ab01
results-80100-15 Expired
7.12 KB
sha256:3d4f5d06a71a9368c69f4dbef0faf42f3c0143aed877b24e0efb458f44c20763
results-80100-16 Expired
6.67 KB
sha256:2e2f98c3084bbedd461f684e597b5a519107e5181037fb6d94289a4bce721c7a
results-80100-17 Expired
8.96 KB
sha256:0ae889e4e4fbc5d073b1fcb527dc310576ac6f31a97ed05a3f443ae020d86d1a
results-80100-18 Expired
7.57 KB
sha256:bb7aacc3dcb4b12b16a4b8b37412b3b96bc406c27a1d9611338fb909d9643b4d
results-80100-2 Expired
11.9 KB
sha256:7394c272c240d73522ad6454f05bbe90373b5183b9a9b54f5444695c0b5af344
results-80100-3 Expired
7.11 KB
sha256:4724965161354c245cfaacd2db5ca376929562ffdcd7b08272bab758f72123a7
results-80100-4 Expired
6.54 KB
sha256:825f81ce9da78eedea19e31f5da106d8035c0bfb8a20b191e2feec4d244957b8
results-80100-5 Expired
7.38 KB
sha256:a8ee57399f7078e73daca8de6b47d459ae955ac983d91830f676040ecf24d441
results-80100-6 Expired
8.06 KB
sha256:1d89a24f78c34847219f22123ab80823cd624c8222f3d37df958337cc772b1a2
results-80100-7 Expired
7.09 KB
sha256:d06a434578f8ac4a0e0737b328b04c09dd4e195638a9bca728bb6b3fb9a32334
results-80100-8 Expired
7.63 KB
sha256:af2e58aee961a620014e608f7142d9bf8f275982ca62d9f5244e43ec07d9319c
results-80100-9 Expired
8.34 KB
sha256:58586d65e8da2d593b97304f1bf14319852334920e16e742f6a00ad687eba1a4
results-80200-1 Expired
7.04 KB
sha256:c9c9d78faf1c8c41fb91a72de755ad6c1a0c9320465818abd0d5ccbda45d6e29
results-80200-10 Expired
7.61 KB
sha256:7206ce079648ca27a5699d534345949b2760b99678bd141a015adeec86e3bc65
results-80200-11 Expired
8.62 KB
sha256:0d0220505595bb9aff646e328e826fa973500b2ef97703840ee14682cf807abc
results-80200-12 Expired
8.43 KB
sha256:4ce3c27b5a250df0dc8f6ee2ce1f9b3bd4b9c2054de57c65cc72fc543184f096
results-80200-13 Expired
7.37 KB
sha256:001a28308f273637a0c7bbdafe822ee5664314c74c9ab47214097982de447283
results-80200-14 Expired
8.02 KB
sha256:b67e7a28cc81cd1818162b4c97532f8dbb8f3ed837b45c9e93c33c3b381b86e4
results-80200-15 Expired
7.12 KB
sha256:1984f96ee2ff74f4680aadc5ff50ae570be6a52629e142f34b63e8a491003426
results-80200-16 Expired
6.67 KB
sha256:da6f7ce306831cc1132086a16db6264f4ebec61864a4992551a1c0478032da80
results-80200-17 Expired
8.92 KB
sha256:d1ea2d412a2c8a4bb5d7f37c7e6f5d51007e6e18a05a2ba6f43559fc6faa890c
results-80200-18 Expired
7.52 KB
sha256:22edc8d112cbc8ee082cb44efc39bfc005d3f088acb771be7399600a8a4d1b7c
results-80200-2 Expired
11.9 KB
sha256:bed3484f91fe6965866917393f881f15825dac78be5e7c1ebce1ef5778dfc2b7
results-80200-3 Expired
7.11 KB
sha256:3da8b04bf4b61e14c53d8aedd2c75264222a5b5b7d283fdc0ab020b4111e0938
results-80200-4 Expired
6.58 KB
sha256:6d61824806b94d34438599cf792d50071cd9061cfc52d73148c035a7c2e77042
results-80200-5 Expired
7.33 KB
sha256:97db9dc8777e53548b475a78286f1f4e330506e897e3f271ed9a076cc6ef4002
results-80200-6 Expired
8.08 KB
sha256:6469529f7ee88fa3bb9acfa7ecc407c5b70ab64f6794e041d66527f80b0b30c6
results-80200-7 Expired
7.14 KB
sha256:b20a3ba70173d8843e2c44c73440bc8d8d6764707c28a8f2ee019c83c13ac8f8
results-80200-8 Expired
7.47 KB
sha256:17c454c326e8fea910691f64e5d3697309dd270b772421e0b4549c2ee33672b4
results-80200-9 Expired
8.1 KB
sha256:cb8c78b6b385a0dafe2cac0bc662e34943d295136b89ed38ff862a03d4239de7
results-80300-1 Expired
6.94 KB
sha256:1f4d27ca53753d3650432837cb32626560141164b8ab5e5a26154b12ea53a2ee
results-80300-10 Expired
7.55 KB
sha256:386afa68b4a3b58f200e15cb4c4700ccb278e91066bb8fd0d30390a2c9d4216f
results-80300-11 Expired
8.62 KB
sha256:0a153eb357ba4fc28c7803fd8b053b079f12e129f8ef318622f3e2ca71c3f7b6
results-80300-12 Expired
8.3 KB
sha256:6986598ce6bdebd73a52a61a6abda93afab362d5e137429a47d3dc99ac8812f4
results-80300-13 Expired
7.39 KB
sha256:01b47cb6bc0bb1f304fad249b5934d8f3e78a823986c5e19b082e59f7fd56d38
results-80300-14 Expired
8.02 KB
sha256:afc965b84140b070a087a099fcbe8d44633bca2b88e1619e5dfd4621dbc21b55
results-80300-15 Expired
7.12 KB
sha256:c91848e86330b9a1176ccdead65501d1896b85cb008298d8684e2f3c21b54502
results-80300-16 Expired
6.67 KB
sha256:72682c2fc59464d6f5414a0d803a18033fd6bb81e149ec8daf8442b9fa5c1756
results-80300-17 Expired
8.85 KB
sha256:76df13b3a7610a71b4b90c4def5b78ab00d9758b9b6684bde77580711548a4c0
results-80300-18 Expired
7.36 KB
sha256:0ba84bc4a494c8131eee892e0fd82083ff9aa816a1b16e48015736c012293b08
results-80300-2 Expired
11.8 KB
sha256:951c217477fad1ee3f7df80a2b18eebf2c94686f5f6622a70fc37d3b3c7b49ed
results-80300-3 Expired
7.11 KB
sha256:1d79bbe6b82127cb2a25f2951bddf7acba9302b8d6bc558d8aec32cf6fd67116
results-80300-4 Expired
6.58 KB
sha256:3342fe5817574a6ae3767ff2436462b889f6d44be9cf7d84c106b658967c075d
results-80300-5 Expired
7.33 KB
sha256:92e4d90d36e760cbfe63a576b28e0834b98ff27ee51682470c3bc19bf75677c5
results-80300-6 Expired
8.08 KB
sha256:b6cefe0b9581005dfeb8d38b847fef624a968925b5d5479bfd80a929cfad7284
results-80300-7 Expired
7.14 KB
sha256:6fc949ed77abb27a87b2bb7fe4fc4ffefff647e2f8e23aa1274620a92d36efc9
results-80300-8 Expired
7.47 KB
sha256:e0aa127092bed4656cbb782e473a69e579c72a04c5eb367394ab68dd70198dc0
results-80300-9 Expired
8.04 KB
sha256:26dcb68e144f87b2da8188812c5400befca787b6215177c114ef6452c77fed66
results-80400-1 Expired
6.89 KB
sha256:f0a5fedce4a8cdf27a1ae62a699cacda9b84550044dd74bc08068cc4a7230e67
results-80400-10 Expired
7.55 KB
sha256:a0e368a0ef835d1d383cb37971468e6effb6c92f533945ba74d513b77876b954
results-80400-11 Expired
8.59 KB
sha256:ebb5b3dd23a36a85092bcf84a5df895061c2e69db0df8f1cd2021e996c16ecfa
results-80400-12 Expired
8.28 KB
sha256:b5d85147dcdef11be3b20876ed0ba4b854f64816d37f7bea797d6c9ee3963e5f
results-80400-13 Expired
7.39 KB
sha256:16bcd2d77f11e77a07990a510d906dbacb4cbadeaed8d06f8c12584a2910dd25
results-80400-14 Expired
8.14 KB
sha256:774af5afa81facaf69faf6e166d9c9dc0cd5fba57e924614b3c7cf066b9ff8d9
results-80400-15 Expired
7.12 KB
sha256:79e586191f3fcbb15ecfd230b188cc836b2360872c7f86530a8b606f2881a93e
results-80400-16 Expired
6.62 KB
sha256:1b1d3fecc754c531e5e9fe8298393b20596ef91a9536d6a24e25399a3ebd1327
results-80400-17 Expired
8.82 KB
sha256:ad33d67a5455e01bb65df55b0686c8763d9528c9b47999524bab3f6686089a4b
results-80400-18 Expired
7.29 KB
sha256:c7ca31a1f22da3f26d83cee92feac53b627515c630c1e7af4a5b7f8251f9e764
results-80400-2 Expired
11.8 KB
sha256:a5b648f187aefbd89513a9ba92df088be5f6d3f1ed5c381d612a155409167a9e
results-80400-3 Expired
7.18 KB
sha256:0634654ec69ff19d91bc8ec9f513f777c1302ca553715904b9af82be8b884f89
results-80400-4 Expired
6.58 KB
sha256:91601897817bc0af775ff25686d2df5747145429f5d588b7f2c8c6ce1678d4b4
results-80400-5 Expired
7.33 KB
sha256:9f299f228af4e4b1c720ac4919cf0c4b7976a2cc45ff431371a01acb77d3eec4
results-80400-6 Expired
8.08 KB
sha256:cc5d2f5ca47115e09cbeaaa0bdc28f889cb093f564e564fb80f2e01a02c7ff8d
results-80400-7 Expired
7.14 KB
sha256:d7dd6035d610814eab331da1fc78c4840c9c1f587ef32bc2fd454289cc023c0f
results-80400-8 Expired
7.44 KB
sha256:27b52611a7078d46446b7d761f4d0db60ed70038e0c2e1a67b9dd766ff1e1a99
results-80400-9 Expired
8.04 KB
sha256:21fe4a53d2b7d4054a81291e1ff53d533a6da6db3a833c2beb34c969030fa06a