Skip to content

infer non-empty-list/array after array_key_exists($i, $arr) #13615

infer non-empty-list/array after array_key_exists($i, $arr)

infer non-empty-list/array after array_key_exists($i, $arr) #13615

Triggered via pull request October 15, 2025 09:06
Status Success
Total duration 3m 21s
Artifacts 145

issue-bot.yml

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

Annotations

1 notice
Evaluate results: .github/workflows/issue-bot.yml#L3
Issue bot detected open issues which are affected by this pull request - see https://github.com/phpstan/phpstan-src/actions/runs/18523692370

Artifacts

Produced during runtime
Name Size Digest
issue-cache
576 KB
sha256:ac9ce6a3f55b2d8423d4ffc45ce5d6fea86d3007eead831dbb82d5325ad0faef
playground-cache
541 KB
sha256:d6e9fd91ff28752c80ca2cc9a62b19589ae08858f13ed9eb699c0cda70913afe
results-70300-1
9.27 KB
sha256:d29812d26e4f47cf99927317d4ce041188bd32f7a2919ef50e72c680aa3e76cd
results-70300-10
8.14 KB
sha256:781d3c125fb06531fdfdcd8f27ad9231f9e2900198bed6ccb5b0953bfb034379
results-70300-11
9.58 KB
sha256:dcb5365537491ccdee5b2ce0161612039fe0dd045958e82040a12e926ada625c
results-70300-12
10.9 KB
sha256:9e00e6dab5a3dd1e6a26c875d0b82bbbcdd294825fdd3722f39ba309b8ed5324
results-70300-13
8.45 KB
sha256:08bb449a4bcf6f472591092662a5c073857177f5235db8f84a6e4f47c1903a3a
results-70300-14
6.92 KB
sha256:0379279b89b5416c259b5e6b08da713d975ad79769c189f0a7a8364b8297a191
results-70300-15
9.97 KB
sha256:7244f3d01801978a6d73d272db9b0fe6484228d0267d076cbca0d16f388bf144
results-70300-16
9.38 KB
sha256:83d9f63c22d069840aa7c5656eac8df7c577204209c1598735f900f884793d64
results-70300-17
8.81 KB
sha256:4810f929bccb236e6af632573e1cd964c956027bbf22bb8953240b2251aeee5d
results-70300-18
10.1 KB
sha256:fc6d361acf6bfa4bc5977015830be30a267577aa9b19898156b1ba1e254663f7
results-70300-2
13.9 KB
sha256:62f035a3c5e39384243da669e597934b18e925cc110d70924859554ab5fa76ce
results-70300-3
7.4 KB
sha256:62749dc5845960783bd09c690e46fc9e12667cdbb22ad22054613c0a63526e8f
results-70300-4
7.2 KB
sha256:cf70af75bccddd202914af24f2cb178720732b354eb7b4ffcfa6cd0bebccfbce
results-70300-5
8.37 KB
sha256:1ab0d82b8087759adb9a315f5aba881df98efefcb0c869cd503b55edaea01682
results-70300-6
8.73 KB
sha256:13b9d331424a0f5e370b5858f997d879decf080a6c8e346621637ea895b9b6ea
results-70300-7
7.44 KB
sha256:8aa66207b6c137cd265e8da12697b3b09518eeb496faa12069e4533adbcce19c
results-70300-8
9.34 KB
sha256:f2bc0b9fd2da9988c49b6711e82ea2604be1767d128982a3b786fe38560e2087
results-70300-9
8.91 KB
sha256:0474178f37c8b4fd25d6df2fd0cb79881f472abb4b6607dea8035d9b38375a8e
results-70400-1
9.14 KB
sha256:dd05a0d5f722e037a7ddd48bab9dc90f442984898779a6f089569fee641a4fb2
results-70400-10
8.08 KB
sha256:c7ae0d590db357345178f2ce3b014f746cdd2493a4ac7e560d6648b1ac924f61
results-70400-11
9.54 KB
sha256:08d8678df954755e9e7ad66c0bd9a2aebaff045127996b8478f3c49d26761d23
results-70400-12
10.9 KB
sha256:34e577a268f36f281e30a6a7f494b27b8e1c8922fbcb68d0bf12ef10b4fcdf94
results-70400-13
8.45 KB
sha256:ffcd4ddc1144b9224a043e10bc907781ca057f5a0f12ad70e88ddde8a516128c
results-70400-14
6.92 KB
sha256:405b20f165c5b686550e1fa8f1bae65f5fea520b16a0623bdabbf078013ab291
results-70400-15
9.97 KB
sha256:299b3a62ef7781e4611a49c45c4f043ceae2c3d0c28b02aafa1aa559bcd68ffd
results-70400-16
9.38 KB
sha256:fbfed670edc77fca8f624a607126a069c0f121e9f950ecf9ac68bf9908fa78c4
results-70400-17
8.81 KB
sha256:fa6c2fe12e42e72173246bce9b4f283fb6a686e7c933a745aec0fab8abdbd4b0
results-70400-18
10.1 KB
sha256:6edeb957cb15d5adfd00abdbbc77140d4df5427f974bd123a7dcb318b7a46124
results-70400-2
13.7 KB
sha256:3846ff262802b7a9d0b4d453f4355688c50f98c1c5e7bb6fe0e3d12384664594
results-70400-3
7.4 KB
sha256:0f5cc2b1131727d123d316bc6993f6421964bd4ca4971be5f378098129c66cf1
results-70400-4
7.2 KB
sha256:7dab816ed566687973e50d0f791d0e92a9f71ad244eee0ae83d3ba889e5a7a2b
results-70400-5
8.37 KB
sha256:d04a682f426d1e0dc7582cc166559c9b901cc389f3e1f1cf184337fe1ae79c80
results-70400-6
8.66 KB
sha256:d9ce789fe6c3011e097e497999be4c33acf120b6f22cf0f7cff323c4d3f4bf45
results-70400-7
7.39 KB
sha256:d38bffde365b5b9fcf430d0e6fb267ce4e05fbaf1cbd8e0fcb914cd3a24fe301
results-70400-8
9.35 KB
sha256:a1c6b8230f02226d614f61eefbd6c5687766ad3159c91a650c600d8d369f7465
results-70400-9
8.91 KB
sha256:b35e9f865914fffb2fd941947c9812c5e8f096157640b75a67224dcb487d53ea
results-80000-1
7.07 KB
sha256:86354d15cf12d3b17300d8e4ac2d029d8d18a7811e5003e5bd9dad31005f2762
results-80000-10
7.52 KB
sha256:979731437e07c1df445ea4f939961a75cf462965656d8fc43d077403c6a83aa1
results-80000-11
7.91 KB
sha256:4707e17e6a17ddeca6b78d52cf86cbc38ad44d6e0c327bb03ff62acb518aef48
results-80000-12
8.09 KB
sha256:a591d5f5f51bcfa15255392532d310fba848be5d5d5ba5d0775a273c9a00e8ff
results-80000-13
7.72 KB
sha256:8051b9ce1e384498e3dbf8bb5701189c277f2e1ee9889ad1bbbc64bbdcef7610
results-80000-14
6.78 KB
sha256:bd34fd45f559277c47b0224c6bf4e6aee52a49b1113a87fb6ca4804c4682e38d
results-80000-15
8.67 KB
sha256:9bc754db9dba298836df0f31de457fe46e1ae63d9c3e9b092125afa0df1b0e65
results-80000-16
7.84 KB
sha256:1a65df37d19e13d1c747479d33288c0de46dd8fd83ff4b613f7b731e883b0e12
results-80000-17
7.52 KB
sha256:c8456fd05a20d07a52473aa31e5e3814f8537872ba45f2e0d9b17027cbec3254
results-80000-18
7.97 KB
sha256:327f48e00c8d52d26462860be81e61a372e92dbe993dde9f7f789329398ed92f
results-80000-2
12.5 KB
sha256:1583c0c8ace4b0223bbc5eea3e25627a3a3bd41ac01bcd6426d3d75673870117
results-80000-3
6.74 KB
sha256:88c747e8084cb267526da83150682087b0542794f4042b55ed9d6044285e142e
results-80000-4
6.34 KB
sha256:cb32c31763383053e7b2b7d5796040a52e4ef6e219d4fd0e0aa35b3cecaef153
results-80000-5
7.3 KB
sha256:d69a93d71ffe631b142c810ba8060be3a40224d54d5d3ed5a26a6b3930067629
results-80000-6
8.26 KB
sha256:9cdfcc67c8574ba019eb27fc5848fee35478c5ad8544851b434546e61bfc8078
results-80000-7
6.67 KB
sha256:a13fde3b90c32335b38e169fd663cdd3558e2e1c76d38c4775f78900ead3b165
results-80000-8
7.33 KB
sha256:663bdf1c8b93a49e44d90d23454c1725bcf0038cabda740530e70f51832648f7
results-80000-9
7.85 KB
sha256:671543dec69c9b95f54a92e2f9d25368eb3fbdbcc6395bb230e856894394b3df
results-80100-1
7.06 KB
sha256:81b9c40d92a4e3952851245f007e09391f804ac12e5f103d6602b3697e1c2f01
results-80100-10
8.04 KB
sha256:92517f1010f8046727014337b6192dd780e95ccbf5fbc6b0ffd6a6f7c5b3afe9
results-80100-11
7.9 KB
sha256:338a9e068462aacf0a84cfc1990bb3306e8fd6d39853e5162e682ef803df741c
results-80100-12
7.91 KB
sha256:d79a470fa4ac137730b7202d5330d353cdb95d0d82d80a42de6dc576f2c69b0b
results-80100-13
7.79 KB
sha256:b1fad97530e6d07d0ee8c982311b4ec4209cb2f8c81166cfbea156d3236be3e8
results-80100-14
6.72 KB
sha256:d69e564de1b03e71fcfa27c662f8e8ce0753f4eb8eb282b6fc106055bbe05836
results-80100-15
9.11 KB
sha256:cbfeac220cd348b7dbc01b9db309143b972897f90adc369866079d403f9b8263
results-80100-16
7.65 KB
sha256:102c61c07ee7d03052d060c2c588837039708bcaf3f763eb177ec4bc175cbdd6
results-80100-17
8.53 KB
sha256:0f9b6612738119ef05a73978f408276a58b1ae42076353beb9517c712707702e
results-80100-18
7.7 KB
sha256:70a32b2350472b0f9b66e560f2f471f146aa37de5f119b64509b1c5d4dad245e
results-80100-2
12.5 KB
sha256:c3af553ad0caeb14f00d751680bfd787ae2c5723f5ad3a15edbff915865d5460
results-80100-3
6.65 KB
sha256:3ceba60c1f6935b055b5c883daa3ae580ce0602c439b67d2e5b323777741c176
results-80100-4
6.47 KB
sha256:08893dc2b5e40fcf60e8f598e8825a4a71092a158c77f64d7cd32e79b71479b7
results-80100-5
7.33 KB
sha256:8eb59dbcf18de418cc3f8fe49336e0b5128c383c53e9314184d7fa795d1d29d1
results-80100-6
8.18 KB
sha256:e456d0a373ad15471517674dad1349d5e33f2a6bbcdf65931d8ff7c27e9a138d
results-80100-7
6.59 KB
sha256:8d67831774644cad51ddeb3f158ceebfa9e04d3b7cb1942f372bb72dab89dfa6
results-80100-8
8.15 KB
sha256:d7429ae74fe1ea2160f3886a4c38269a53f5a7d765fdad05b17ba40eebd4f567
results-80100-9
8.13 KB
sha256:fe7c743ae140584e8a6be064ecb393a71f25b3f1674e1ea28b8f293d56123779
results-80200-1
7.02 KB
sha256:19524bbb9d41bb98e04634f53e8d4e206a9278387e83b240cc9efe8bdd7ccb6c
results-80200-10
7.89 KB
sha256:c134d84457ea164e13738bf97c7fde074720e72e18508668a8e6d22f19c65f55
results-80200-11
7.88 KB
sha256:d6edb0eeab4d3834346c470606481dbcf57ed3e465fbe8e66cdc9c779f68b766
results-80200-12
7.91 KB
sha256:b8fa174b962b51788fca3552436ace9ccbe6222ec59998c1c9fcd729a04da4e8
results-80200-13
7.86 KB
sha256:a8fc46887b18977d67fbb32f19883621f6881236a80baf1587cc5e6469bdeb36
results-80200-14
6.72 KB
sha256:58e298007eee4b7b2aa2562e551566d94cd7a0e1876170d9b6cbf3b86f07c039
results-80200-15
8.99 KB
sha256:ac56d11e5381156809b7c3491c6fac1c0c4aea63029d2c8c37e3d39f1e2af21a
results-80200-16
7.61 KB
sha256:ed5f09ccdca131bdb89c3053319a08a4609d9a262115069bee1eef057e57feb9
results-80200-17
8.41 KB
sha256:e4beaa8bdd81d0ab1490ebdc4b22e9b9f659c053969537272fdd9b8681851082
results-80200-18
7.74 KB
sha256:a22dc15006d2df8dfd5894dae3a60151a19fa2890ef58f156f503d0b7092d409
results-80200-2
12.5 KB
sha256:320999fd0b1ddd9fe7f31d41c96c68abcedc7ca0705a15966c55d749cb6e2f1c
results-80200-3
6.73 KB
sha256:483cb9c3dbf2ff473bc063f1f9e776f6000ea1865d0e8b9540da13a44d1ce644
results-80200-4
6.48 KB
sha256:977e42819b4d523e204375431260aa0dd870cf660d4cefbffb73aa9eb8005065
results-80200-5
7.29 KB
sha256:d7a65b5f1d1d45e213e67dd2dc3fcff1169dcbe5ef941cdff505b2244e7cd1ab
results-80200-6
8.2 KB
sha256:5870d2396a4064f2d4a957ddfa2fb61b5111a2a558f1574ede50a24091babca4
results-80200-7
6.59 KB
sha256:fd944f0f05efc7f8407498a84743336363fef13204253f0860ca48705f1c11df
results-80200-8
7.85 KB
sha256:2498b4427169ab4a01c15e0a71a3e4d421617e59a4eef3b8bf3b95ab16264106
results-80200-9
8.01 KB
sha256:16c559355be686250a67a887d3ec3b2523362b9015213d62c1d30c4b074759a7
results-80300-1
6.93 KB
sha256:78d71e42383c18810a83f873cf3aa9f65b8bccf695b0d57549e07b5a280f34e5
results-80300-10
7.89 KB
sha256:4dbd8d6fff0f1286e34f5f36539268b6ed272b2b055f6e61a06086d121c2c1d7
results-80300-11
7.75 KB
sha256:34d853f0c3f0de996b114877b1f419c5dbdf8075ee77644e4a570f12660fa73f
results-80300-12
7.93 KB
sha256:80c518ead1f27a89bbdf4f66041533546dec211a712574271608404dcf0d1efa
results-80300-13
7.86 KB
sha256:5375d4c9772090843c923ed47de9c73e6f72b724f174bf9dbf356aeb24449cc7
results-80300-14
6.72 KB
sha256:a7ac13e554d4b83ae81335085f8813aa26ec36cf55aebd343dc0cd64ac08cb2d
results-80300-15
8.92 KB
sha256:09cf9fbe1fddfcb155e996855d4a6cd184ab0de0ac8b1ebacfca19d6f34ba3ef
results-80300-16
7.54 KB
sha256:27e49f8bfc4237c8533e7ddda100d4b248b88c7d61d6b391bab0fa5ded878d3f
results-80300-17
8.26 KB
sha256:1348da59fe340f2d5573584670d356032a63ce1540551e4e821fd1e6017c8362
results-80300-18
7.64 KB
sha256:92abe305eae46ac3ede9f8c2f4882f0a43ea4ad38b094c0440bbd14cd077ba84
results-80300-2
12.4 KB
sha256:158e211d17ae6b550b7adfe48bc7e9348af55ce26565ccd429f7105a57fa02f1
results-80300-3
6.73 KB
sha256:71a3d870948d696b6b0ec68e335443c7724405ca265e67941479687d46f11e4e
results-80300-4
6.48 KB
sha256:5eb0dfa313de547afc2cee6bc0ef5ecbf281039bdec2e92aab9a55509a53d96a
results-80300-5
7.29 KB
sha256:eb05687e668795fd8e57cf33e8a6b5622631256931680dda5478ce607b776e36
results-80300-6
8.2 KB
sha256:1c503012aca23eb7a1674908fde032a3800b7d4dcb6bcb368f2ab1b135567472
results-80300-7
6.59 KB
sha256:86f42f34cb9b6d0e4d631572491903986f6d25a099dbd5e163d32341e2f90cb4
results-80300-8
7.85 KB
sha256:561b9b3db98d2259abdbb589eccdb4431acf05e5d34e7e6b80185c4d10d656e7
results-80300-9
7.93 KB
sha256:8d9573cf7e80a06a8e54188a52866c7df69a855d86a3cd057198d63d9a4c414b
results-80400-1
6.88 KB
sha256:5ec5eb6a08da7861893525b5a631b4be63ce2c02c4c2fcbf47368543c4dbdcb5
results-80400-10
7.89 KB
sha256:f1e71c4b673a020aee60b56627ea43127d913de061e6a3da96c369298349089d
results-80400-11
7.73 KB
sha256:ff32de1ac18286348edd3af322a47a881cc6947d5a719cec1f4b599415e0273b
results-80400-12
8.05 KB
sha256:697e3cdb1767d90e30494646b8ba42734d9e33a73e9f935f59e04a746f8ca87d
results-80400-13
7.86 KB
sha256:913c8917928abaf1a1d8034c3f3cfb4e9159f8560764d375223db9faf73572a4
results-80400-14
6.67 KB
sha256:393e8ff2523641307ff8f40c2af315e83f64e16c1ea112e31af2ae4a73e6e1a3
results-80400-15
8.89 KB
sha256:8555922d96227cd64b80968f6113a3b06a7e19424413f103fc81cb95e923fbdc
results-80400-16
7.49 KB
sha256:60f02bcc21a4acd2d250d9c43f9d3661a81a487029ff3223e65c07641ccf39ae
results-80400-17
8.13 KB
sha256:2b85242683013997018b15f2a3dd94ca1a34d9ddcdcc46cb149c9d0e1f1f281f
results-80400-18
7.43 KB
sha256:3f8ec21778b65f7e1d71a7e02bdd0f0f04ba2ca29084949d8bfb894ef140e9dc
results-80400-2
12.4 KB
sha256:2405bce5ffb4c992cca79fbb2c7bf955d9696a8f1ce7dd1e465f725389701849
results-80400-3
6.8 KB
sha256:ebfd8599d082920663136e1066f8d6c460d79c434bd0e82d55646dc3fab1172e
results-80400-4
6.47 KB
sha256:3fe6de29f534f3105daed968dd29451994d10bc5774a821827de1fd8898931fe
results-80400-5
7.29 KB
sha256:c0632cdd68a0dfca064b9c2ae3d7a7e100876ea9c3c0b1def3d5e6bfb23cc45a
results-80400-6
8.2 KB
sha256:65bbe8fddeb7fd91c4aee3dae5bb4e4c8530eb1ae0cc5833830b3baa455a0b5e
results-80400-7
6.59 KB
sha256:ce528a7b1826727e10c248518f37dac61c74ab38fc05d4d4686ed0c2f1e4ff6f
results-80400-8
7.82 KB
sha256:882aa7b3bdee579644866b3b85a11d9c3e138328f67432e3310bb84fe07c2982
results-80400-9
7.93 KB
sha256:067b39e5066bcfd564e99a5340d735f533aeada13eeb29ab12784b10f0d68f6e
results-80500-1
1.16 KB
sha256:0f101bb93b79f9720a44ff94e1098c1c06851556e19b95100898f07bcc115717
results-80500-10
1.04 KB
sha256:70a64ab6b020c2369a40b9f6d695f6f716f3c8c95d104809ea288eed81bf13fa
results-80500-11
793 Bytes
sha256:cb2b399582e63abb6c77a29ecf9e918b6a11886dcba21451c20d433f61da38bb
results-80500-12
920 Bytes
sha256:b6d5ca442822c371c24d544cec89e2d4e6bec2ad93f58d91c6b7546cfc4713da
results-80500-13
1.08 KB
sha256:aff88071427e5c2b22482f124500889b9e435b7ce195713984f25beee11f7cac
results-80500-14
1.06 KB
sha256:9f131d4e37266cde1aa6cb030e1b73ee2f2cab85b19403d7b74676ae8e8321b9
results-80500-15
1.32 KB
sha256:1a3b59da1682930510bd8802bf4429e947084fb46ae89b1512665d3938d1525b
results-80500-16
934 Bytes
sha256:4a46e847e0deb99281c521694fea025366eddb6971782638c35f0c09d924e790
results-80500-17
512 Bytes
sha256:743380e5a443d1c601fe74ee1630b6dda4dea59645cc2858574b25b6fa363344
results-80500-2
1023 Bytes
sha256:2d82c74e95a68f52464063b5029486bc272edbdc47a91e130c8b5b1d5947311c
results-80500-3
852 Bytes
sha256:91677dbe92b89ab869a2ed742f090b44030268c9701207f6c22d1935b699f24a
results-80500-4
984 Bytes
sha256:2dd4ff57ded48265485ee96034594298a6b6024dac0a5348053dff81eb828736
results-80500-5
1.05 KB
sha256:6e9cea2b2533f20d09984b9816a9f1e4dcf68b44332e5fd0fd0b198d1ff08741
results-80500-6
972 Bytes
sha256:4525dc4e331bf8cd7bcb6bb5e9c629f3f566505cdafab3bd69f5bcfe62b8a12c
results-80500-7
1.34 KB
sha256:449bceae99af5db7c462f92e9ea63e30b3d6168fb54151f178dccb4525d09b93
results-80500-8
1.11 KB
sha256:de23f5a5a54f3e53ac220f7b5172024320b06d80873178474e5f8f06fb7f47dc
results-80500-9
1.29 KB
sha256:2d84f4a918c3f8633ab75e978a225a56d0f2eee7aeb043481a40b11731cb4fd7