Skip to content

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

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

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

Triggered via pull request October 15, 2025 05:56
Status Success
Total duration 3m 24s
Artifacts 145

issue-bot.yml

on: pull_request
Download data
19s
Download data
Matrix: Analyse
Evaluate results
26s
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/18519272516

Artifacts

Produced during runtime
Name Size Digest
issue-cache
576 KB
sha256:d2f87e1875f277912edd8fb43678b916870a46674b8499b00c46cdd44c2c39e0
playground-cache
541 KB
sha256:4b28d41daabb04a0b81e55650ce497f77110bca2673ba57b3cc898072b09f3dc
results-70300-1
9.27 KB
sha256:9aad13781444e6daf44793df40bd0e16f1054282d41335e533c891d3969d4f41
results-70300-10
8.14 KB
sha256:50d0a80571a9a1ecca3054b36f1c18a44f454ba7da012083187d0113fbd62b63
results-70300-11
9.58 KB
sha256:9dc1416e9cd279fb9edcb77419fcf675dfc7eecedb85cfb5ee6d9e2de017a3c8
results-70300-12
10.9 KB
sha256:727451d18b2bbd3b0edb6fe549af3668c95f473635a59fb49ef3eb3abe5c3f52
results-70300-13
8.45 KB
sha256:1f914a3a10fc59b31d3e38b6f8a8c8b2af54395e0ce1be3c27655e68bd2296c4
results-70300-14
6.92 KB
sha256:bf916f28791e36cdeed0c110ad90b07de59cbc9f1ba7551b765b06317a323fd4
results-70300-15
9.97 KB
sha256:fc9f1d2276c458b2a786bc1cb92b265ec21d540d1d7498eac9096ec3c9b86db1
results-70300-16
9.38 KB
sha256:281ca11e2e4e7d9850a36b68d4908eb54467c738007b994cf2eb1244f1b0495c
results-70300-17
8.81 KB
sha256:b68234b4def86ec1fad63d7db3cf842d624ffdaa514e540d9b54a3fb57529aba
results-70300-18
10.1 KB
sha256:5975a2d35e60983ae2e94fdde3f19ac5481ffa67b8a05ea6db6ad08af3a32860
results-70300-2
13.9 KB
sha256:141024b7e5895d1e36f85eb140195ac99e4adfcf1f9690cb83f0ad6767598f70
results-70300-3
7.4 KB
sha256:beb9ad069b4c76df0dc662587de561504bf1184215b3d3aa490ca767a179a714
results-70300-4
7.2 KB
sha256:18d1eabf3d2f84898b3bbf850dce8b8e8880bb36ef559fa307b1bb1a689bb9bd
results-70300-5
8.37 KB
sha256:355be71927753df0756316a61409df6dc6b030a26f70e81e608d4da0e88f2c8d
results-70300-6
8.73 KB
sha256:6557fcbff65d94de454c8c48de1dcc2575df36459b5157bb554fe47f88a49d47
results-70300-7
7.44 KB
sha256:f86e343670f704539813e9a708d5c0a0af65901cf672e6e68c56edb05f6eb249
results-70300-8
9.34 KB
sha256:e95b1edffadf0884c8c121e4a36ef0ea2ed51c9affbbe379cbb61d489670a23c
results-70300-9
8.91 KB
sha256:a1367f7c5d64f75df1445d539bca10e6d218e1e46e6faacf1ff9199a46e88c73
results-70400-1
9.14 KB
sha256:c35a12781a29385a8104b6da1fddc20052c6a3030eef0cd29a92eeebfeab721b
results-70400-10
8.08 KB
sha256:49628e72d016fe0a0c5738245bffbccdac2b39304219fe36e8925ee071f27f22
results-70400-11
9.54 KB
sha256:906a337fd6bcbab2f5d08af8db696ac144744e6d6fa38edd0ef7b94634042aa9
results-70400-12
10.9 KB
sha256:bee17702548bff35e740122d36ebac88dbb0d7459de4fa4c9e87ff280085e808
results-70400-13
8.45 KB
sha256:089e8401d0e5a1c6adc74d9a9ed1c558e7764458f7d1b267e468dbab2939d609
results-70400-14
6.92 KB
sha256:70e071590de4d3544c46749122d4f14f85901674fef1b5f4b2fd6c8c3926564e
results-70400-15
9.97 KB
sha256:1f4452cae5b0c41ea29ca5eb7521c4ebcab7cb4156a063be395e51b6a142bae8
results-70400-16
9.38 KB
sha256:0b579608b520543c6e9c34a26e475b39a5abee61e2de49391af9c1024a2f10ab
results-70400-17
8.81 KB
sha256:4459ed53406759280d03706eaa88ce580db76414051ce2d3207b87b250d96c14
results-70400-18
10.1 KB
sha256:97fe7282fbc7e7e49862eebd26956eb7741ceb91b5791e0ba8c4c2d5d7976a95
results-70400-2
13.7 KB
sha256:6fe9868409924723a49b1e55ad99d130e0403746ced13954b77b3d23b090ae37
results-70400-3
7.4 KB
sha256:990050a2fa5647e6161cb5655980df939b0762571a1fb89a1f8ddfbf27b809be
results-70400-4
7.2 KB
sha256:761c301a866ef794f40f8ff4de47f6cc19715a436639468705e452ce050e1987
results-70400-5
8.37 KB
sha256:8c697d5eb1fd830fb539e8dce1992ea1e37d34bf598e082f922be1ba5215e4c8
results-70400-6
8.66 KB
sha256:02b31f1cc54c355efe45f945df236822cbb4f739941c707d2e8c8828bab8f02c
results-70400-7
7.39 KB
sha256:5c025a23de3211a3f3510c50a8a4b891ef76bc7fe49e889281ed1dfd83d3c7ae
results-70400-8
9.35 KB
sha256:295a3267026473d6816faa4b0e8813538117fbfa91d19f043bd12c36a7a36922
results-70400-9
8.91 KB
sha256:3826c68455a4cc7924eff8f9a408de7de25c071d25a14ca6ccf61fa920af6981
results-80000-1
7.07 KB
sha256:c943928aa764631b98b70f4b2e04e91262b50bcaff87bed8e12aa758091eedf0
results-80000-10
7.52 KB
sha256:4ba57971faef787ad1f6204dc468c856c49b82d7dd7b63b70164c94e9fa2c800
results-80000-11
7.91 KB
sha256:fd5ffb08316c571d2651f5fcb70b43424bff9bb27c642b9531c0569c9678dfb0
results-80000-12
8.09 KB
sha256:abe9f280cd149efaa9dc47e7c48b4aefbf09f41eb31ad31e6d865f7d61bb54f7
results-80000-13
7.72 KB
sha256:9725ec71d9bd092fc4df89c4b5bcdc2809738af56446906092d1eb85e486dbe7
results-80000-14
6.78 KB
sha256:d5e818e9d8837ff2f12e685abf2683fe29ce3c1f1df099fb4c7d4f1506cedff9
results-80000-15
8.67 KB
sha256:c6413df9a360112ef66a84b4f3b152c9504b6640b1fb6ac534f4f494e75c9a49
results-80000-16
7.84 KB
sha256:4510dfece1ac15de8c989a7787d93dbf6b71a095d4cd84bbffcff6cd31edf779
results-80000-17
7.52 KB
sha256:2e9c722855f299aa408e194961fe1135b6ab4737f031bb63a5e1bac881802bb4
results-80000-18
7.97 KB
sha256:03590bdff7d3e7dedcb5de4768e1e8d5373a2c0c3814ce60186515a9df26c014
results-80000-2
12.5 KB
sha256:bf9716473e40d6c8c8f03ddcb8715f5f43e2fb3052b7d1ef7395d0972a6e160e
results-80000-3
6.74 KB
sha256:da4d78db0e32c28c954f5cdc3e0cc9ac981700f30e5f53d5fe047d9416342a10
results-80000-4
6.34 KB
sha256:31b209141bb461105d37162915d5426541d84f9cee343d4f7c6b33b9092b15d9
results-80000-5
7.3 KB
sha256:26a1953dec78c304f6b6ca3d54573060479171496bcb88979ebeab1a05ac5c35
results-80000-6
8.26 KB
sha256:8ed9098f6d93f2c553bafb436fae4b2b879b26ce9b619d980a342bcd8ac2effd
results-80000-7
6.67 KB
sha256:429c15c17663150411e90545354defb28aa97b3b2a7ddccc8ca730226c2c9668
results-80000-8
7.33 KB
sha256:6d0f71d79fc101586ed098e8099a4c695f642aab70bbf153c7b77e0de48fd099
results-80000-9
7.85 KB
sha256:36eef12e6ea7815ea9b5f45fae227b109ea8c5a3d58a2003c76de45d27322817
results-80100-1
7.06 KB
sha256:ef54875f71cad60e492619d36df232972581432a94cc51b4bc9003a9cfe570fe
results-80100-10
8.04 KB
sha256:5242acb50e25e54eba745c81caa59c522ffe664d80a8b4730cf2f0c7f69c3bae
results-80100-11
7.9 KB
sha256:64f6ef3b1c9a96e34217f0f2e37cff36c627b210fe0aba3b36703bc6930ee2ea
results-80100-12
7.91 KB
sha256:7e5905f88d18d412241f2f0c09522451c099c9d3b98f1c8624263ea996932283
results-80100-13
7.79 KB
sha256:e99278bc39b430e1f396aa7f20dd7d61880a0f3c66a62aede45077d59f80cd1b
results-80100-14
6.72 KB
sha256:dae4ae7575fda9f5955d1c7cd6d287cc8b878d856a5e7df4126c3347c518f9a7
results-80100-15
9.11 KB
sha256:5a7d04f41550037bee3a09369b372b9bc26409c2de5c51c442a792d616c8d31f
results-80100-16
7.65 KB
sha256:b3d77df46e8b216f81fbcefc990eff84b852d3c0081a8c1069582bd8276594bb
results-80100-17
8.53 KB
sha256:d06b895ecba2d7047548f401691d26f347f0c522c128d6d4c63c498b34d5bce4
results-80100-18
7.7 KB
sha256:60df013e072d3c950ef1727d9d81b8ccdd0bcfb720e909d2085c6bea0fa9d6e8
results-80100-2
12.5 KB
sha256:e713331b996aaa287e8d6c7e3888642ed2d1baf63b9d0a003481216fed215b14
results-80100-3
6.65 KB
sha256:6a5e8b1f9458924f34d2ec1ad66ed3019f6af74edcdc78d41ca3a927c522e568
results-80100-4
6.47 KB
sha256:3f8cc4548b6533e07f985a491f90bfb0447df8cf3eb08389e29d577fce66004e
results-80100-5
7.33 KB
sha256:1f2d393e580319e915c9b11c305d52b0b3b034fb219f9964a6192e45fc9521de
results-80100-6
8.18 KB
sha256:17bf9b4a2837ca6164aab527fe03a4d6d7c073ad6eb2dfd6e0605ac8eef2df42
results-80100-7
6.59 KB
sha256:f1617049526b5bda8fbf0a07c17cf364b1e26f2e58d394cdfcfece60e8b108ad
results-80100-8
8.15 KB
sha256:c759bc54fe54b0cd4194e7aec76d64cae0cd1cf61bfeb918185cb04242d45fa7
results-80100-9
8.13 KB
sha256:69acfde23301a13bb0e13534dfec94e78db9d216b8013806079fd95fce0a1f0a
results-80200-1
7.02 KB
sha256:e4b531c7da9cd53f4c64fda3a63483e1a4e2239e0ed33ab0afea579c082d4a08
results-80200-10
7.89 KB
sha256:6bf690ee2cf010edbffb60fdd90da7d07e03af175b48f11a4e4c9ceb72f9e145
results-80200-11
7.88 KB
sha256:3eff5c49c3f7e2da9bce5f03c113253904508bccdc254d6cdd5e2cadece4eba6
results-80200-12
7.91 KB
sha256:f3fefc0035659e58ccbb46c6545ef7db2b4d8e02b73548d561b370a94026433b
results-80200-13
7.86 KB
sha256:c417ad76452e1aa3ddcd8014458ecd9a6a4c0fe9bd2db0f1092b9a2774d328e1
results-80200-14
6.72 KB
sha256:a3a5238acd22b8aabcdfceb16c0c933c318ff6b3ff583eb590d4da90cfe14dcd
results-80200-15
8.99 KB
sha256:4553f36de5b2f7599cd85e2849e11bcd095f753ca17cb71fe572300630bbbe47
results-80200-16
7.61 KB
sha256:cc68c0fbd7e8495322eb9158ad9e544e2e6166ddf8eb9168ca89c79c3af92683
results-80200-17
8.41 KB
sha256:5a5e16ef2d01a573d9a42093b45defa964570c940aa2a4a969829d37c8ef0759
results-80200-18
7.74 KB
sha256:f23aa689d54251d147924dd68c5747ddb548e5628a10e82e51ff7a0ece7a5b8d
results-80200-2
12.5 KB
sha256:eb3fd357d75de60cfeb9c97392ea11c3d2c7a6cf72b93450ae4a084559ef71cd
results-80200-3
6.73 KB
sha256:a3ddfb15448507282dc2ae19e75e80bd86184e8aaf69f591cfe4cb50837c2e39
results-80200-4
6.48 KB
sha256:11aad241077b4c241d96ed787911e56b7c42afc972eb630dd032585a396e680e
results-80200-5
7.29 KB
sha256:400ef05be078bdfc5096aa49c3670c3e3ad28007cf9a92cc075e345c9645e305
results-80200-6
8.2 KB
sha256:8031b8b7425236decca08de52cec213cb767c11f315fb7fcb4c2576931da0ecb
results-80200-7
6.59 KB
sha256:c566169fa6fe6ba2117580617a1a5e54a780707f70a9ba140b217ee60919d01e
results-80200-8
7.85 KB
sha256:4a38bf6ecbb7d2cf3cf79cae1be01cc6543c99d9040b6afb09eecf85460de5ba
results-80200-9
8.01 KB
sha256:61709da1364ea68384fc668a7a474dda111c8de210933f0343c130bbbafd22bc
results-80300-1
6.93 KB
sha256:47005065694a52fb28f7b9b8867d2d52f88848c932f6f9253af05d1d72f2eef2
results-80300-10
7.89 KB
sha256:5a4d8cc05228e83ee2f92c8e6ba07479fce050d478471a949596ba4789d46cec
results-80300-11
7.75 KB
sha256:0be577a875708f97812cf7ee65c2df020835c6374fe00180f85715af25a10a98
results-80300-12
7.93 KB
sha256:b77591d992d79293c03000eaf87a35e78e484b833a585e51e1e8a0e4cdd45f35
results-80300-13
7.86 KB
sha256:bd67f17b32421f2e8afc1ab1fdf95d6d0a723f7e94fade96d052c11242ba5736
results-80300-14
6.72 KB
sha256:01e2aa4dad7064ab7a8c0bf9f9bc5dc0606cfe43b4744e265d614c641757ece7
results-80300-15
8.92 KB
sha256:5e716dafe6942e988bc2485d07a2d015f6dc5c6ecbdba797ec0c0af21fceeac5
results-80300-16
7.54 KB
sha256:6bd4b5a4a245349b628db0f61c56ecf780736ddeb34914383b278672fe1f6c35
results-80300-17
8.26 KB
sha256:d7b7e2bd913c8582cea14275d1aac330131d3d6592167a575288dccf0c7e2865
results-80300-18
7.64 KB
sha256:d2b2417cdb53956cd05f99bf7cbcac2d52e4066d98d21995fc62ec624094da3c
results-80300-2
12.4 KB
sha256:2043a0de3d0081c07e27894679c9b4de9b3abbfa72db874b6719d7f5e6ede1df
results-80300-3
6.73 KB
sha256:d0843cdd41dc2d1531a9ce81aeced4179c03924704fa2f2a99427e7f29bbd0f2
results-80300-4
6.48 KB
sha256:9f81379a4d76f22a55db1ebdac853776dbfc01e02c001eee5aabfdb42a50652e
results-80300-5
7.29 KB
sha256:a2670dc608416bbd23e2bfec5c651442e9a013bca39b5dcf63158859d1923cce
results-80300-6
8.2 KB
sha256:9fb521b34682f8bcefedae5414adb6dda3951bafb6dfebd2199d1ce9cb251fc3
results-80300-7
6.59 KB
sha256:86b087c7e9a95cda6d5fd3b71591df2b46a7e60e2a2f5e6f74fa90572a83d42e
results-80300-8
7.85 KB
sha256:2b32ee3eeeae267897ad101132d64e6d05848fd78ef2783a3cfe40b06bc3b1ee
results-80300-9
7.93 KB
sha256:5ec91a6a5672ff678e0dd8cf583d5c34d3afd72cee387a4f8cbf0b675b5f608f
results-80400-1
6.88 KB
sha256:b0511ac33f18197d7e8ba53c24a33cd5df3816edca007fb5b11b26c0fe5ce67e
results-80400-10
7.89 KB
sha256:00a6fa0c1ae3f4b822a46625174d370c45cb2af83dc028cc9d305f4d02151e26
results-80400-11
7.73 KB
sha256:510ab4bd4d22840ca93be0ca241dd8dcd1fb632effacefce0998a07a14040c8b
results-80400-12
8.05 KB
sha256:dc8e5a7c7a424c97577870ea023576d5d30d1e1631f376f353b13fb65961d082
results-80400-13
7.86 KB
sha256:40e20624d6295a3366e972fad39d16a3f9a5283cd036e9a83a68de30a0f262cb
results-80400-14
6.67 KB
sha256:99daa39932d19feb62fa1fa4076e2655f78d49a1c8399c9f73bf3073eb6ff766
results-80400-15
8.89 KB
sha256:ef0593eb3170d0c0286bce5d7000345f0f69163c14062651e37c15b36fa242b5
results-80400-16
7.49 KB
sha256:8ef7a7843d48d8ce176b6485e79518454ea202fc7d23f1f075fe4b92ca0c76c6
results-80400-17
8.13 KB
sha256:da16c6ab6282a4b5d892fb2903a3ceb90cd2d9329f691a9b53d116f777c3c53a
results-80400-18
7.43 KB
sha256:16b0f9c32ef8390ed999cca819d41d78f4af7088627278c8f2eebec7e04ed362
results-80400-2
12.4 KB
sha256:8253fab46d8d08254fcfe7386b39312dfbcb32ac0c88522ba18525f6ffd7f32e
results-80400-3
6.8 KB
sha256:73359f7e829dc10c90e5d10902c57d50a1e3965cbd1a492fe05c2955683b9f92
results-80400-4
6.47 KB
sha256:0b30bb56d0d2ed3a89b17e14b9b30768d3d6c4fe6828fd4f09b3d600b98c9bee
results-80400-5
7.29 KB
sha256:1a25c23245cecd29e319dd550dde098e13fe41aeede25dfb42c5cd09273ffa4f
results-80400-6
8.2 KB
sha256:c0a5d41006f1dc78df8a3cae0209822ac0ad0948100d6a84c39f7370a670359f
results-80400-7
6.59 KB
sha256:eb911eb1a1546144611e3009d8f57579a215dbaf0bb785d14b5ee305cec89e40
results-80400-8
7.82 KB
sha256:bb5280ae08293f5af0365fd80de8311bce0c32cedbe2dce2e1f7e9438d1d6c97
results-80400-9
7.93 KB
sha256:9743af4df05521036153b4c6ce2626f5572c568bff6cae4573e46dd9a05cdd54
results-80500-1
1.16 KB
sha256:eb88b12e731b3593156e48f691e8d5a398b28bbce45d6d958d15e31dc108846b
results-80500-10
1.04 KB
sha256:5acdcbf5ade6e23cf4487057bcd6e9f801f37b5636c8d6b5d47d4fc52729f98b
results-80500-11
793 Bytes
sha256:bbc1ca31c241277e3e67521207320905c86e8abe871a5dc8076394a3e90b41e4
results-80500-12
920 Bytes
sha256:7266911850efc6617d595a60c30b865b9228174b0e5de8f9f2b892929a80b144
results-80500-13
1.08 KB
sha256:024fbe2c02343100a97657fb94b01d8a7c20b970d50e91299faeaaa07c4c5fef
results-80500-14
1.06 KB
sha256:69f438875a0e11e77c81b55fdbf34ae0e87c3bc80fb86937c55c2ae6ffd61160
results-80500-15
1.32 KB
sha256:39fa6964812382b1d1566dca52045e876e0bf8cf02ce49f57178a4e013d2ffef
results-80500-16
934 Bytes
sha256:359e8f0563b6e87584ffe194885368ed0acd7c81d3930b61dcd8f054c3fb1eee
results-80500-17
512 Bytes
sha256:e75330e789f6034ad3d8371cd316a943baefe74a4de41695d252961026c8dc34
results-80500-2
1023 Bytes
sha256:c31bea3a4aac4ef8005cab22aa124d09a46a935c5c9988a4007f008180959045
results-80500-3
852 Bytes
sha256:5aa884761bf3d633bc62719e266896979701396d3477ae2a0da1b03d4824134d
results-80500-4
984 Bytes
sha256:020e9b4ab2d7973e9100c3a7b3336547f014c7c7560036d79b3d0938b15ecfb8
results-80500-5
1.05 KB
sha256:d4860b99d6a8a97feaf19740d7db002f2349224f68850fa214db29fdadf93f78
results-80500-6
972 Bytes
sha256:488d988dfe6799f45b028370a6d9bfcc65285b938d9d36043eda3d6100b416d5
results-80500-7
1.34 KB
sha256:c08f195e6bd0c85efe2affed80a9c0dea92231f04054ce9cb5f85bde34a711f0
results-80500-8
1.11 KB
sha256:8bc1f6f48445ff1208a5cb3952740b657a0cc9712ffc92b81f9c14b9a72b149b
results-80500-9
1.29 KB
sha256:f613ad22bcb741ed764bbafc5cba7dd0ec0ff0358f4f24761258e4e70393aa05