Skip to content

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

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

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

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

issue-bot.yml

on: pull_request
Download data
18s
Download data
Matrix: Analyse
Evaluate results
34s
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/18519545093

Artifacts

Produced during runtime
Name Size Digest
issue-cache
576 KB
sha256:5a0f3b7d78f11d37d680e151900d160f1be17a885e63b4a0482564b1b376c77d
playground-cache
541 KB
sha256:8ff211acf49e47e95c0b5afb57a1ced801bf74b296addeebf4ccbb7077768c54
results-70300-1
9.27 KB
sha256:4db527dc6db74fb29c1ce0a5206dc54c2dbf74a7b7355613fc943e95a38c2141
results-70300-10
8.14 KB
sha256:731b145cb4c3ec1294adfc617502cc205d16076ed4b496b983e73dd3d80af147
results-70300-11
9.58 KB
sha256:49be39bc6ee5f01b7e0b444a2bb52f125a4a46d6ab1bd138a13226f40f82b27e
results-70300-12
10.9 KB
sha256:766894038c9fbdde0786dbb1bd260dc25c1194ccd124bc008f79de17740caea2
results-70300-13
8.45 KB
sha256:f1b2d8527ee1bfd525d97d4fff4bf046a3c636619810933ca184bc5259112ce0
results-70300-14
6.92 KB
sha256:dae693a59bcd4993225d64bd0d4a5ec65130933e26ef45e10b9eb2bd7ec3a57f
results-70300-15
9.97 KB
sha256:14e66b96e1b1970ae3fa83eb1d21c1c77406f6c576fe7b17aa81097273e89cc3
results-70300-16
9.38 KB
sha256:a488989121ab6de0117fa9c3be0d898c92dce82aa66d9bd7f8d1fb9b62597630
results-70300-17
8.81 KB
sha256:01d7dc9251d9eb5d25605542afb427e4f1583dfb14a29eb1361489662b4a3abf
results-70300-18
10.1 KB
sha256:f8ea6657b6b50e02de3765a721ac94073931538c5eb1655b38efb5de5387b4ff
results-70300-2
13.9 KB
sha256:d50eb84d38f83c8ef82cfddfbba84c821ea73258922bc6d9011124f2ac04e3a4
results-70300-3
7.4 KB
sha256:3d6c2df5290f370e1ea6a54faf03e46ce10c8aca207ffc221290bf23cd854172
results-70300-4
7.2 KB
sha256:25357f1d91bbb810d14866a318816ac5d3a3e75bac9c272b9fc9c9b0d48d963f
results-70300-5
8.37 KB
sha256:2819496f109840c4cd8efd7ad282b55495215658b679c3e3f11230ae351c6049
results-70300-6
8.73 KB
sha256:9ca235306a7c81130c1ae9704a50a41e343ca2af2283b8ba35b89985fabfd817
results-70300-7
7.44 KB
sha256:7c5a1bf1e88bd9a02194f479292ef501d6752bcd456c2ec5f057aafa1f63526c
results-70300-8
9.34 KB
sha256:c4a1f133aefa05882ce0ba019817bb074348c6ee3fb680327d1d83d35ecf93af
results-70300-9
8.91 KB
sha256:5596383e2ec1cf9efec9340d3d797768e44e67d5fdc2ac0aa929f546296803c3
results-70400-1
9.14 KB
sha256:74b13459540e5d7414aedeec694f8dd81d2101f92daff2748d934556f73b6f5d
results-70400-10
8.08 KB
sha256:b6a8670ae2b852b17f968fb18d9acf1707a5d7047baa5a01adcd72b8e1c15b48
results-70400-11
9.54 KB
sha256:0e1e76545c33e49bc0373c32979454939c82d550b76fa6aafca13bb9eac9274c
results-70400-12
10.9 KB
sha256:cfae2d108798306c2714ae6f8ff3bc5cc4e908b708bd26a02f37ceed37112f96
results-70400-13
8.45 KB
sha256:5818db3a61911e81ca87c8e263d25807d3390eafd9205f98794bc45ba7abbc2c
results-70400-14
6.92 KB
sha256:b098d5d7f4846533eec1b3cf05a57980e60ea068f3d774ee59e1e63fc490473a
results-70400-15
9.97 KB
sha256:9177eb4962ea14aee7b565fbdd8db96f51f98d53bb36532ce66f7f1c04834bdd
results-70400-16
9.38 KB
sha256:bdf8e83943c0e02c9fd1369ec11b2b4945088c55ee1448d1326316f749b9ccb3
results-70400-17
8.81 KB
sha256:e58355300592f552d92c0a2146bbd571b534e6722711fece9149594c1489e78d
results-70400-18
10.1 KB
sha256:043337a8a06cf5191a0c812ed1164ca4d15980984c6e462f8361d6f717f61ab7
results-70400-2
13.7 KB
sha256:7e6be2103bb6f06d8f37b394b73bd14665e18cffb43f627c1b2ae946365233fd
results-70400-3
7.4 KB
sha256:d60de793e9f2d971d0d9b4778bc5494d1796e1a71b964cbf4251806b6565af49
results-70400-4
7.2 KB
sha256:4103312ba07d1914e3f07581ad57b0db0610bf8d072a40cec4f25acc70e350f6
results-70400-5
8.37 KB
sha256:4227a7e99b9d2dd538236dc1eeef4458ef015ea957646b342cf1fcdb30fa80e2
results-70400-6
8.66 KB
sha256:ccbe3edd5952a273121023e0b94aacc7b7d9a6e58c7a837b33bceb52f4a3bee3
results-70400-7
7.39 KB
sha256:34ea7f8d3d022c32fe042b7343e72fe972b7cc68bdefb675d16121ab2dbc96e4
results-70400-8
9.35 KB
sha256:f724cab93774792d060877864f6d8481923e14a7fd08594aef40f7f7c6d59329
results-70400-9
8.91 KB
sha256:c425f03589da9786640e62b5d3e434d16e4e0c06ed9bf4eaf266d82ef1b0b00f
results-80000-1
7.07 KB
sha256:c7d3f08397fd2e81b0832a404e80f80f700dcbbae136e2aced12cbddf53ac83a
results-80000-10
7.52 KB
sha256:3746f0b4a242c29763d22bf495f2d333d5ef6d4b94667de059ef7bca5bfe2709
results-80000-11
7.91 KB
sha256:e3cced3e6a3da12dcd7b61dc1ffcbf6f1650683f66643128bb59c00cf0d45ad4
results-80000-12
8.09 KB
sha256:d4915fe05b5b775945977d286a13044f29f329979491832aba26d5967068952a
results-80000-13
7.72 KB
sha256:abcdccc1adddb0f10009ca006e9f54974b62eb27d333b378c420ff8f133e7288
results-80000-14
6.78 KB
sha256:513c6b8ad60222e9f34bf1ed84181288c472123b6c9eb3bc2811cda10c842f41
results-80000-15
8.67 KB
sha256:d71d1d548cade5eef83216d3b396402aadc570562a9e630ea97b4ffbf2fac845
results-80000-16
7.84 KB
sha256:3a526371e5bb1b2901a94f2d0b7671816b4a863603c87a4f5fd8aeb5b4aff6ff
results-80000-17
7.52 KB
sha256:c9ab8a30d5cd9415faba600db44baaf8176fc22a85c56e43bdd0eef449ad000e
results-80000-18
7.97 KB
sha256:e65f13f83fc70035d2ab5af343fc4c36d3b72ed0b06aaa8c03381b9bcdcf6d1d
results-80000-2
12.5 KB
sha256:f06eaed9711f63692febbd6c84bdeada431d8e21caa1d0f204c850bdd979baef
results-80000-3
6.74 KB
sha256:dde68cd4fb09c810782f4d57d9042cc831c5d3f84fb623764cbc3317296bf943
results-80000-4
6.34 KB
sha256:a24cebd9ce6bb804e01a608d0b29bc48de6dc50a789751d94b9bae074f37d354
results-80000-5
7.3 KB
sha256:402c2fd570a7fa715271aa6560e32295406d12d2f62be2558b61ea2bf1027fd0
results-80000-6
8.26 KB
sha256:b5f7e0be9b82a64ab1111ea6746bf013976528b82d09ec2694a89970c9bd767c
results-80000-7
6.67 KB
sha256:f9adeaaeb6ce6ccca93aacf3a174f42f0bab254ae236cdc17ac2a7265d612818
results-80000-8
7.33 KB
sha256:cb0e612d035b26349a2df3506fc499499c4948cef0f8dde1b9304f337a725fdb
results-80000-9
7.85 KB
sha256:4aea406903ebb256b05d890556a9b5c1dc6764c707efb4930c06408dbe0fa997
results-80100-1
7.06 KB
sha256:dd8d532027121af97fc6d2bb0081156de0ed763acb582a02a6aab6aed83740e2
results-80100-10
8.04 KB
sha256:02acb86d62ac4c83b69df10d6b93a8749042461cacba8c4d1582456c5c40e824
results-80100-11
7.9 KB
sha256:1779a8ca196bd1cdf19e54efd168a43076a4109776758359febf8061ddf7cec2
results-80100-12
7.91 KB
sha256:074645140a91a3483290e7cb201e597d75828dfd829b182816898b15ce990d73
results-80100-13
7.79 KB
sha256:73e0ffffdedc45261bbe2f9baf5e70a1b092f2fd4a83e3bff02cb8cb5b736089
results-80100-14
6.72 KB
sha256:61362f14f8a828acfddbbc293d096ac019a1a25145e38928e382498aee5a7058
results-80100-15
9.11 KB
sha256:af0c8f1da8e1b3e328ded8a287b21c9f8754790d373677f9a369b46ed3355d97
results-80100-16
7.65 KB
sha256:fb3f0fca2204cce12cef57384aac0d5d7abedd73cca708ccf2481669552f7b17
results-80100-17
8.53 KB
sha256:d0daf456f08c6d50fb0e80c2220a8308f6f59cd6b00657e25296e08aa98b2892
results-80100-18
7.7 KB
sha256:38130745f3c8c400b773c3b5fc34fe7382a0675c3fd759ad874acaefa9785c52
results-80100-2
12.5 KB
sha256:0b19ff297ad3121fd75e9c1225ab2ff41f140a0ee433fae3702eac7b3240ce6e
results-80100-3
6.65 KB
sha256:49a11c0ca7f772025e1b107e42d9a6f2f1c07b3c265babe8d91c439bb1880e55
results-80100-4
6.47 KB
sha256:410ea5d900b8e52d51e83cab4c2ebbafb815b78a83eff267cce3a0ae4e09dbfb
results-80100-5
7.33 KB
sha256:6a8e60922260c627d86677da532c9a89b8dce368b8e621d0e07bafa263d18633
results-80100-6
8.18 KB
sha256:d1c5cd2fac398b7a3a6ebf812af3b98dea182d1b7cce1b1e7e9f58ae6da84c58
results-80100-7
6.59 KB
sha256:cd746240199a7400dc0245cb218d980bff8abdf5dc262e5396e7ae470a3b24fb
results-80100-8
8.15 KB
sha256:1635fcc907d11f1202c3603626c985b5efe327cb362473ceb01227bd6608da49
results-80100-9
8.13 KB
sha256:f701ba3471b6a4b7320c04f9a2b78c7857d50502843ab60d3cf75947d56486e2
results-80200-1
7.02 KB
sha256:a4b22bf28ced6e8d6368a2a5969375cf90736c5bd18deed1c2b4e79eef2bb03c
results-80200-10
7.89 KB
sha256:6426213eeaede59f645e6a9f5dd8c02620af4c2dff6c1efa6832b7657c9c181f
results-80200-11
7.88 KB
sha256:4c7ce47ae85a5c3d0ad8972c31579cc61a3e407ef5c55be3320a505899c642c7
results-80200-12
7.91 KB
sha256:fcdd19620a8aabf6ed3699cfccca468a1587232a5f004f00a313fc33b4342760
results-80200-13
7.86 KB
sha256:c7cf76284dd93e5ebae92b554b1a4cef1cbd1ac3149beffde3e3a246e10fbfcc
results-80200-14
6.72 KB
sha256:cc137e9fd727a71468ea23fed4c73f15f140b03ccaec463978796817f2156a02
results-80200-15
8.99 KB
sha256:b9ca4b44b10f7795c34708f3d398cf7cb5674be55dcadee3c4b87cef87ce70de
results-80200-16
7.61 KB
sha256:35a9fdf19b4e92965db7d8aa1483011f3a10bcba1f368e484626e211984a9a49
results-80200-17
8.41 KB
sha256:6ab82e2ddf85b9b3f3cbcd75f03774c52afcdfdb21b069460be4b52791af5b9e
results-80200-18
7.74 KB
sha256:117c4338e3acedee7be8b6d58714d8215ded4e77d70e187888f0696c98106f25
results-80200-2
12.5 KB
sha256:bb0ab92ba29e3305d8be206bed1015ce57acb34ec0e79bcbe29862935f5e48b3
results-80200-3
6.73 KB
sha256:f65bf475f7a12ef78d690b8facb0107da3d29a72e4612d051e75d7038e5a9fd7
results-80200-4
6.48 KB
sha256:e8de833f9a265b82600d2acef6514f118937b3555b92d34395dbf91e5ba4731b
results-80200-5
7.29 KB
sha256:665b524c862c7e83d91112c5ebf925339dbdd8a32aaf036e4bef53af6e093070
results-80200-6
8.2 KB
sha256:ec15c2fb3b453180587188d0eef82ff20d37ca37a02113929f41a2453537a254
results-80200-7
6.59 KB
sha256:1498fb3d1356a89d680e3463c17f2c96d7d3ed775617a5897177709f08deffef
results-80200-8
7.85 KB
sha256:c17fe2d8d3629de4f3adcdcb89501283a0cf77c29cf6cd94f0a230c6237555f6
results-80200-9
8.01 KB
sha256:b0cae83866871909c6efca0d91154f179800ba836c3caca2e13f41eb2df7288d
results-80300-1
6.93 KB
sha256:9c2b030625925a280ae75d4a46e28059f30107bf5faaa76dc34ae2f5a23f1f4c
results-80300-10
7.89 KB
sha256:0e1e17d468623bcee12a894edcdd240ff0dd8446533c6d12fc890d1573c03e39
results-80300-11
7.75 KB
sha256:74411a14980e44dc84a54aa27a1e584f47b8f13ffb9a664264985d3717473d9d
results-80300-12
7.93 KB
sha256:320970dba804c53f98b4ba2c79087fb4f2a1096bf178dccdb248748475a75785
results-80300-13
7.86 KB
sha256:f04791b0116f2af8b0ef69ab3e1b09a5f501862100f2e3beb70baa198ea61c08
results-80300-14
6.72 KB
sha256:94ad87cd62a0ef78ed2aba7a023c7580b634e98abcd799de4cb09c0bcc8bc043
results-80300-15
8.92 KB
sha256:b8fd95d5075ce798b2f77eb7e94e4e2e031b035d1a55c3d98ce8b02fda37913c
results-80300-16
7.54 KB
sha256:14417211ae8548fe241bc0899d7312a1dcfe4cc73d7cfb660bc77b09af95a041
results-80300-17
8.26 KB
sha256:a8e8e77c06bfa5c29ff958fa9bf154d9e849d5947e14fb17babc6f3206dd8cff
results-80300-18
7.64 KB
sha256:f08785f150096ea02746e962c8a6a7aaf551c21ddec63acb0b049b4a9afce7ae
results-80300-2
12.4 KB
sha256:87d3c396b5b7868cfaa8ba5783d53036c6c201f47e721ae238feceaccc471f0d
results-80300-3
6.73 KB
sha256:009742a0405d2e822a7e0979c79540e2e26b3b4cec3fbb97a28fec2251782c45
results-80300-4
6.48 KB
sha256:aa8086c99f1290b6e0ad1741db05f621f75924843455b96bc858f967dab83395
results-80300-5
7.29 KB
sha256:8d3ae799bb2c3efc3002c0a0ef9a7be6abdd75135db9718bcd8c168b2abce0d9
results-80300-6
8.2 KB
sha256:b94a441ff7effe878ab25594053484eec1454642f2bc99f045c7a34ab962626a
results-80300-7
6.59 KB
sha256:7de6a5a6497b290ca60642e85515da74db125fb0b2ce2dc221b8c830294ea420
results-80300-8
7.85 KB
sha256:f25e374b8208c28734f8d1a03c132c98842d08f276c65a7ffcf50adc6c6e636f
results-80300-9
7.93 KB
sha256:6970e8d04c8081111529c7d7829e41afa00f678ede63d7c9565a62f75bb5657e
results-80400-1
6.88 KB
sha256:fdd1715cd869176453eb8923e728dc5fb74884e29a2a65d09099878158f2188a
results-80400-10
7.89 KB
sha256:12a5c97f60a428661e1a0969fb7f863082b36cee07935f172a78ca6b2eb6fb48
results-80400-11
7.73 KB
sha256:4fb4fa1bb9da6c4ac2f76446abf235d7cddc2102365113d9a5bacb1d081ac6b7
results-80400-12
8.05 KB
sha256:ed89cbb316de343ad5df0a27f03a4dbb83ec3587d3db2c2c39ef0cec1eee5ac4
results-80400-13
7.86 KB
sha256:c8774fcebc63f53b1ce8a9c5d971d90b9f7db9d7e703aa1e5ecef069a87c2eb2
results-80400-14
6.67 KB
sha256:382e36f2dbd6009b39c835e4ae23acf2007f80253b2bc3db6d0bc0f6e08ccc92
results-80400-15
8.89 KB
sha256:77553eb3ead5935654c6d719e6201aee2a5848741752bf268ed461a655e33bc1
results-80400-16
7.49 KB
sha256:9395144d53ccc8a3b9668deab6ae23e5dca064c5808052ec7bad824975f8b590
results-80400-17
8.13 KB
sha256:1c0d5265de11e51db57fceca49430290fb682c3e25227f9d6e0729005b59697f
results-80400-18
7.43 KB
sha256:a9b470cc8b23999a64f3f4f8a6a735d80a456436b666e4f8a768db605448d4cc
results-80400-2
12.4 KB
sha256:36aceae12eeeb07934afd6e6a2d7cd08ac25a4594fd167fabe6179abe1bd0ccd
results-80400-3
6.8 KB
sha256:a8383c36013413875c7e4256bf97c39e70993981b6b2d45c69f502eef2d822a7
results-80400-4
6.47 KB
sha256:965831b6a336d0f29213738c70577bcc30efcba84f91b93c87d965e571c64018
results-80400-5
7.29 KB
sha256:74b8097054b29a233e7160ed73a4e76b4309dc3c7c079bfcca9baaed2dcd32ff
results-80400-6
8.2 KB
sha256:a11a0252e5efe335eab9d6a251002ba551b9790a59cbe6ec2e49a2b553b23f98
results-80400-7
6.59 KB
sha256:82bb3809fa39d584f1d0f6a98249e282df1f5778fe2fe59548e10e35812f1db7
results-80400-8
7.82 KB
sha256:7960f00e90dc2d3de11118299fd45f61b9bec415a1b8a02888ff8b9d9ee65cc4
results-80400-9
7.93 KB
sha256:29307dc2bfd6143970ac7178b96241b072725482ccd802f3d080a40ce8516006
results-80500-1
1.16 KB
sha256:c7f93898774982996bf972c988ff235ba999d61ca421d0a4f73fbd8aa1ab8892
results-80500-10
1.04 KB
sha256:27e4d08f50bc8d3485a1c76a15956ec5a72d4e7a8a7af7ac18aeee6bb32dab7d
results-80500-11
793 Bytes
sha256:0eef9e64fa831a014e4aba4ff13fc693172e5e2ff2382a12f58771fa205c6bd8
results-80500-12
920 Bytes
sha256:5b0c39fdcaf126820288da0c24dcbb7abd121f176c33dc56d7a275d364abee57
results-80500-13
1.08 KB
sha256:26ba3b68db3306683a23b1384fde80e67ce932acca7de83d67915273a3e9ebac
results-80500-14
1.06 KB
sha256:876cd2fb54a8da0b33c01b3e537441573e83c3fb75e53ebc3af4c4dacda5e24a
results-80500-15
1.32 KB
sha256:221feddf532ca6d0a180732627137038a7ee023f9947714d5bee7d240416df59
results-80500-16
934 Bytes
sha256:326caf9f19fbc879882d5e9e63f623e83422fada5450db96a1716b56f03be323
results-80500-17
512 Bytes
sha256:dddd6b7a0dd0a6bb3f63c254f06d75e52f2d3683a5205e48ee22b02c9b3d7f53
results-80500-2
1023 Bytes
sha256:6934c6058a587e72779b27cb7d2b32a7891276a3b9992708f0c2d890cf879cd4
results-80500-3
852 Bytes
sha256:863bfa380bb677d2703e9f97ebd2e2ba9b4df7b0567b0e4404baca0b62c4612a
results-80500-4
984 Bytes
sha256:6bf4e00a07d6bd76938be3c0fb8ba7f0424b51f26c6b41c7ff49057af217e91c
results-80500-5
1.05 KB
sha256:ee8a529821580e70dffc2126b0daf3b4c90493add5041066bff48b165a7d6fcf
results-80500-6
972 Bytes
sha256:75b1733bb399277a1061b85475b421e1ab30ef9d36af5d9e24d370351206b4ae
results-80500-7
1.34 KB
sha256:c337c7460aefdd20edddb015a1ddd029431f3f001c5a9745095a4167d53dd6d8
results-80500-8
1.11 KB
sha256:27df383f3cf2ab2993a428a5b8f66ba194e55f3046b585962dc3db650750d16f
results-80500-9
1.29 KB
sha256:1873d53701388cb89496c386edfcc656a3e23fa0b4b91db00b12a2a42345a46e