array_key_exist inference is lost when adding a false condition
#13834
staabmAnnotations
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/18907901485
|
Artifacts
Produced during runtime
| Name | Size | Digest | |
|---|---|---|---|
|
issue-cache
|
577 KB |
sha256:c3c685178956a23dcf6232a752f45486131ce35ddf95bbb2471ab347d4a56f32
|
|
|
playground-cache
|
541 KB |
sha256:b8aac904d0d171d3a9773204d6d36ef876e0feed706569cbd7fe5d2969fad5e2
|
|
|
results-70300-1
|
9.27 KB |
sha256:d7c7ecb7d06121504fd036c60e428337699ef7be62ccf69c03d68d78d7d4e126
|
|
|
results-70300-10
|
8.59 KB |
sha256:a6d0b83de695a09079c98f5111db04f50f4b31c8340682f917a47967b22baa27
|
|
|
results-70300-11
|
9.31 KB |
sha256:f4c8104e6131dbd25585820e4a2af5dcae895ed0ddfcfc4a240e86c33b28c480
|
|
|
results-70300-12
|
11.1 KB |
sha256:76b88d9d22a48ad98ba895af7aba122551e1cd2ebf9602d69bc2625a0111357e
|
|
|
results-70300-13
|
8.39 KB |
sha256:092212c2ca0d7c4e658a05db05ca845d5f4269c840daf47c20b5ba653a7660ef
|
|
|
results-70300-14
|
7.66 KB |
sha256:8414791e4c6ce45517881b885f912d43574f253ec584fb4f957048d2311ca7b0
|
|
|
results-70300-15
|
9.74 KB |
sha256:974338df143923a0626101b687c56e589f7ef494cdaf8b401bfb984cd14b1cba
|
|
|
results-70300-16
|
9.2 KB |
sha256:43177cbefd0803108e896828acbbfd05e17fdbaa2c0dbb066dabf5bc8286284c
|
|
|
results-70300-17
|
9.04 KB |
sha256:923ba170ba3d226e6429c735a4e6583ab5a83843883e9b0d7eee374cd92d3285
|
|
|
results-70300-18
|
9.4 KB |
sha256:0670f8623ba8a1caddafcfa28410220b43aa661d551507b3aa08fda588626974
|
|
|
results-70300-2
|
14 KB |
sha256:7d659c1b384775651c6f416fddb8d4919f385099454f9547b567e95f104a3065
|
|
|
results-70300-3
|
7.43 KB |
sha256:f5fc431a85da6386bcb842502d0639ea0fe7c6a69f45a1c71b6c3fc2457e71bd
|
|
|
results-70300-4
|
7.38 KB |
sha256:9102639725c69eae3eb0497e93718de648b26283475956b8535f086f3c346fb9
|
|
|
results-70300-5
|
8.34 KB |
sha256:f38258c6f8bdc21bd13b6cb1431b486b3315039eb554461cd54fe84d7da69122
|
|
|
results-70300-6
|
8.74 KB |
sha256:c4a34375cc286032c31999c3771179e94b06ff795ba1cb49e5d6e14e07bbc3b9
|
|
|
results-70300-7
|
7.49 KB |
sha256:874b963a770fb205cb821f797fc6b08eb4b374d9e6fdf551d77ffc93f89ce3a4
|
|
|
results-70300-8
|
9.64 KB |
sha256:ab985460c84bdd2fbcdff0efb9e72dad4b011b02bb8e87ca527b6ce0690417e5
|
|
|
results-70300-9
|
8.67 KB |
sha256:8d822d2110342d24525955bc7d255d9b81d68421bd2179cd4c54fa2db28e38cf
|
|
|
results-70400-1
|
9.14 KB |
sha256:3dabe9ddedcb46b8f2c977d8b34f48934c91ba791877f54da11cff8d08d4f1fe
|
|
|
results-70400-10
|
8.54 KB |
sha256:2420954b74c54c05321571d090660f6ee4eba05ba7fe25e531c5c0ecd78f96f3
|
|
|
results-70400-11
|
9.27 KB |
sha256:e0f135cfc8837ede3db1bb9c4a9e00d36393abd448b4479b63f19d0e6c6827d8
|
|
|
results-70400-12
|
11.1 KB |
sha256:5a0abcbb43c83377b0371cbed93049933682234780d8b0a249cb166ea42f4ac9
|
|
|
results-70400-13
|
8.39 KB |
sha256:872f61e914ce35f7e04fc2f474b47e7b5758b82cb4d990a9293ae9e2cff99f2e
|
|
|
results-70400-14
|
7.66 KB |
sha256:9c033b45ae81279ba89d80d9243a932a1e11ff4802062962b885bf8279a47e51
|
|
|
results-70400-15
|
9.74 KB |
sha256:7823bc029016c81838bd151cb1394f9ef3a6b816c41d6aaba70a9c5836f1a389
|
|
|
results-70400-16
|
9.21 KB |
sha256:e1e37b8bbe6397c297f078937d7334c11e48187e15427a5210570301c572bf0a
|
|
|
results-70400-17
|
9.04 KB |
sha256:7d2bc40b0816989cbf4e5b5c656b893abf3f7a9339551582bb0c7178f01868be
|
|
|
results-70400-18
|
9.42 KB |
sha256:21e2b887bfdbd78e1d804c02246e40acc09006a6101690fcefd5902664a24592
|
|
|
results-70400-2
|
13.8 KB |
sha256:0076721dcb2e45a4af3134f5175b20b19719842e947f26c4f892eb6c0f17e4b8
|
|
|
results-70400-3
|
7.43 KB |
sha256:06c0203eacf6f0d8798ad9f8913d4aa460186b5963c6f085054dbdc55aeffb83
|
|
|
results-70400-4
|
7.38 KB |
sha256:f6007916e567633be4670f6a1272931ed1158f269454706a9736542535e753ee
|
|
|
results-70400-5
|
8.34 KB |
sha256:48aca69d2114be56814c0b386760d876efd78c9be40d19c46afbd5d4dc039be4
|
|
|
results-70400-6
|
8.67 KB |
sha256:d37771e6c8c00d29313ffacd0bb540e5e0b5985c263e86a892fbaec2e06b30f0
|
|
|
results-70400-7
|
7.45 KB |
sha256:41d0fd211b818f2162ab05e6cb171a0ad2bacb60f959ed899f9d3d2207e1deca
|
|
|
results-70400-8
|
9.64 KB |
sha256:852da774dcd18d150d2c4927d8fd8ebf3c730a592256b501b41da6f06835028d
|
|
|
results-70400-9
|
8.67 KB |
sha256:babde09ac06564c16dec2696c42006c1a34bf0a22d4d34fcd013dcb93c492d33
|
|
|
results-80000-1
|
7.07 KB |
sha256:f35c00251f7d495d4b739232a39c0fbd1940dd5d644218985bd88a3fb695977f
|
|
|
results-80000-10
|
7.61 KB |
sha256:0723a2116aa946f5445c383722bf16d469b60f66ed934996da7243125bd2eb81
|
|
|
results-80000-11
|
7.88 KB |
sha256:c7010640d54e022108378306633c87b184df480c2dd525d67cf36e3fda023b54
|
|
|
results-80000-12
|
8.35 KB |
sha256:e7a064c6286051285f29079823dd001aef848cf7b9f2b99d4535e22c7e9d0bef
|
|
|
results-80000-13
|
7.55 KB |
sha256:af41d3da3c37d2ac0c3ebd78a2e7025c9394555924db49939ff95774f729a4ec
|
|
|
results-80000-14
|
7.33 KB |
sha256:0467c17de58fae37fd82a14af3375beee7935fa182e16a2adf3f304642646627
|
|
|
results-80000-15
|
8.64 KB |
sha256:c237a70bd6c26785bbeed6ba0a8b4a84e4945a825536587af09c2348ce1f15bc
|
|
|
results-80000-16
|
7.89 KB |
sha256:61686c3e12463ae72363fc266395c9cbea4a73e405fcce3ca9281d371f95a2ec
|
|
|
results-80000-17
|
7.49 KB |
sha256:6a6fe0f5ddc44941e42e18155a09b7f307ec18a4add75a7fc12fda3e0c51cd65
|
|
|
results-80000-18
|
7.68 KB |
sha256:f6d8a81e05d1ea0b285b682602f44c5669ec05e08982c2f8297d7045dfeb00d2
|
|
|
results-80000-2
|
12.6 KB |
sha256:5170729ee1e53dacdf41819f8dbc1e12bc9cbc43df7b2cac917a730f12229f98
|
|
|
results-80000-3
|
6.77 KB |
sha256:4be0ab7a16dbfb05a534fe567ac227522f4090423f383b8d5d2c6984d92e1d0c
|
|
|
results-80000-4
|
6.5 KB |
sha256:f9731cf3f7c5dac4412168070bec194c7fa9c7517bdbeeff2ef4615bcd322bbc
|
|
|
results-80000-5
|
7.3 KB |
sha256:67c4baf9812373c3683fded719fb5e847659ec70d877cc9cc371f7330187feed
|
|
|
results-80000-6
|
8.26 KB |
sha256:abbbd423f783b05da7107340b2b8f0110e330a0dd09b5c9cfe52333bd92e18a5
|
|
|
results-80000-7
|
6.72 KB |
sha256:729d15f1663e7e92e9fffea075bf999dc20007b5c9347b8cf46530bd4887bc67
|
|
|
results-80000-8
|
7.51 KB |
sha256:6e99512795ffb20f62ee7d9ba3aa6083d7dd4d6641f09b016a6fe179fce88f81
|
|
|
results-80000-9
|
7.7 KB |
sha256:6bb6bd81752c3cf905f6b4624110ef371b9ae61380354a60282797945d69f10a
|
|
|
results-80100-1
|
7.06 KB |
sha256:a9580a547c94d7ac832df6dae837086aff455f642675db6bb176a76805883964
|
|
|
results-80100-10
|
8.13 KB |
sha256:8618dbe15c9179e02843e69a57f26f47c859ace6acb652bff1275e101880de11
|
|
|
results-80100-11
|
7.87 KB |
sha256:4d6ac65aeea646b35b01028c783acfa2c4f8ba4872887a6c42dbfe0f3ee62b18
|
|
|
results-80100-12
|
8.17 KB |
sha256:5cb4aa90053c4f772785349ec29f52608d5d3d2cfb32ca0b07fb549d7dd0a5b6
|
|
|
results-80100-13
|
7.61 KB |
sha256:22e5f56024728426a11f807f19aedbf3b4a6cf11fa4a57a4d8f9846708efe0e3
|
|
|
results-80100-14
|
7.29 KB |
sha256:0b81893d74c474088b8240f7c6d34f1e0e771fd226bd967410af755bc8911f90
|
|
|
results-80100-15
|
8.95 KB |
sha256:b525e554ca610f5a981e061b97b7923e8000bd27b229db3d1947b5b4dec90a38
|
|
|
results-80100-16
|
7.75 KB |
sha256:93fddd8602610a097714be2643aae1e13eae2f108bc0549844ceaa36bb03ea95
|
|
|
results-80100-17
|
8.38 KB |
sha256:3e178369a31e915316a49d1679fdcf395b963b4b89d2e0477286335ab2f76fcd
|
|
|
results-80100-18
|
7.43 KB |
sha256:7b37a0bd029462e8270be9e03f9d72040b9816ff3262d0aea88b7707c18361ff
|
|
|
results-80100-2
|
12.6 KB |
sha256:da697b801707fc08d183cdd0b10cd4fc23ba9302731be2d11d1a471a46916521
|
|
|
results-80100-3
|
6.68 KB |
sha256:71c48b3eb25b5c1319a78f2533aa5e21a79d7cc446c0ec4d6078665329e02fe9
|
|
|
results-80100-4
|
6.65 KB |
sha256:32746078f8f6d7fe853c609b977394e03fa0df5bbbe15691f42731f50d3efdd9
|
|
|
results-80100-5
|
7.34 KB |
sha256:4ca1a54caa4152c5172cfd3a732097cfc86f3af4ee544dcba8584a1ddbb4bafe
|
|
|
results-80100-6
|
8.17 KB |
sha256:431ab6e68b917c794d1e2869f56aa996c48324665988febd1574f276770be65d
|
|
|
results-80100-7
|
6.63 KB |
sha256:569bda277a423786b1893d67a0039eabc0997bf56abf14f1dea939b5b35b6e88
|
|
|
results-80100-8
|
8.47 KB |
sha256:84e85c4d953c5b7d29b282ebd66a6858f644e6471c1f681473feb9ebb37f6fb8
|
|
|
results-80100-9
|
7.79 KB |
sha256:036d529fb6a4a9eb4bb2d3b60a23fbc9bd9bc2be39ad0a03f9dacdafd00e978f
|
|
|
results-80200-1
|
7.02 KB |
sha256:8e66231ab3c27c2d6b7da6927973361445060fbc95cd7ecc112f88454efca6e5
|
|
|
results-80200-10
|
7.98 KB |
sha256:60451a0a525e5e3192a68c48709e15299d2d3664f95d8ff3120f01251cf49850
|
|
|
results-80200-11
|
7.88 KB |
sha256:21dd04763f6ac1ae1c8968568434a0a805c972eb65351b0a3d0ceb745640bdb1
|
|
|
results-80200-12
|
8.17 KB |
sha256:4461119830d86bb77488184b4a9cb37b995fb6bded992bdd4b3592cfb8ca73e4
|
|
|
results-80200-13
|
7.71 KB |
sha256:dbf0d9469b751ac6d5d69e6577dd468b35864e4cd761a44011f36dbb9e7b710c
|
|
|
results-80200-14
|
7.29 KB |
sha256:5a6aad3e2b3c75c03d8fc624160824f1b1d43b3112c7f96311868930b1e6e03e
|
|
|
results-80200-15
|
8.83 KB |
sha256:ddaa44120b599bd2ff7160cbf9bf7429b1cc106d1fddf90ea7dcc88e88a3651f
|
|
|
results-80200-16
|
7.68 KB |
sha256:de05698f63a6886fa3aaf0789a95f2dd84f7310543a2bc2c22c4fcc09b35bd10
|
|
|
results-80200-17
|
8.35 KB |
sha256:ba6453b0eb1e8d581bcbe224c76bfd07e9c4242cdae36c574aa4bad0ca1c6394
|
|
|
results-80200-18
|
7.48 KB |
sha256:79273c7d3cdfe44fd90c5fb11104d8cc77762d19557390efe2b7a1986e0e9192
|
|
|
results-80200-2
|
12.6 KB |
sha256:9a72f8ad910bfd33f4406aadb682b825dd762227604c0aa2563a11622734ecf7
|
|
|
results-80200-3
|
6.76 KB |
sha256:d671f2b23f3ca04a22d6b44f185199e82e20f99d4b8c830b097833e4d9c78f2e
|
|
|
results-80200-4
|
6.67 KB |
sha256:ccea4707138d5b4830e9808e80718e9d8ba0536284921e03f904fce963b297ec
|
|
|
results-80200-5
|
7.29 KB |
sha256:ac4dae4954514236d99b13cdcebd58a53355749a80d1d3f3c9339ea43bf66b5c
|
|
|
results-80200-6
|
8.2 KB |
sha256:0e9d7ea207f167e2c7686a891a5735ddd0e3f2e877946faa3f58435eab032c81
|
|
|
results-80200-7
|
6.62 KB |
sha256:0fe731acfb83a5dfe9c905a41c29928d89685fc9ccc5735496c737f99460d4b2
|
|
|
results-80200-8
|
8.16 KB |
sha256:c02c7b24100295484fa2812360e6c20397fb4b5dd772e0690bce860a80f47947
|
|
|
results-80200-9
|
7.7 KB |
sha256:167fa8b12ba36ad7bdc475d62fb7b1687546ece88f8b804f48d1811899f404b5
|
|
|
results-80300-1
|
6.93 KB |
sha256:181de8e3654452387b1567550762f54700b14380e2df9868930e3d79ae002708
|
|
|
results-80300-10
|
7.98 KB |
sha256:1e1fb370df88efd13a75b780bff84a5d657c911dff920ea60aa83ce55e960102
|
|
|
results-80300-11
|
7.76 KB |
sha256:4db78a26674d6e3453fbd5a9841d0e21c766b4af75a86db8f0d8fa435286ccff
|
|
|
results-80300-12
|
8.17 KB |
sha256:4a523b0e10dd9b360d1f14b99d927635a6a7fe27367f36638eddc57f1955b03e
|
|
|
results-80300-13
|
7.71 KB |
sha256:74108e73c47e13855b0553225aec6d6104596edd7166d5be1832c7aa7c877943
|
|
|
results-80300-14
|
7.29 KB |
sha256:e909e40e90e4531d2e4cb60bdbce860a9ef20b621b24022428969e12a40e1858
|
|
|
results-80300-15
|
8.76 KB |
sha256:ab10a08a13a6c6aba21d006e56852ff8e2837ada6f25f1faeca65e632e2b96c0
|
|
|
results-80300-16
|
7.61 KB |
sha256:3861b88fa713d9132bd17d8e2e6dc5fc444d9e958d3e7e204e563f78387c4849
|
|
|
results-80300-17
|
8.23 KB |
sha256:c2c7355e24d23e1fb6e7a2667e2e0f176fd45c5dd1e6cb3b3834dbb9063e93d9
|
|
|
results-80300-18
|
7.38 KB |
sha256:26b9ed0c5cd5129b997470cc7becf3a013e2d1c8634f965bf9fc13f5f17900b7
|
|
|
results-80300-2
|
12.5 KB |
sha256:856fd41b285da46b6c68affe5330f79cdb6219105af5e2d5f31166163b2c6b07
|
|
|
results-80300-3
|
6.76 KB |
sha256:bc0bb17349d552b52b4e99a2d950793b74a1b33743d904528ee41d4217d567d5
|
|
|
results-80300-4
|
6.67 KB |
sha256:2bfd851dd192372e48f8624fd2dc19918e080ac5f8d31886158037d8075eb8e8
|
|
|
results-80300-5
|
7.29 KB |
sha256:83f6fb079a99a8cbded72720c0782f6541d63ef6fe8910ac5da63a5ecbfed99a
|
|
|
results-80300-6
|
8.2 KB |
sha256:8e1b642fa244db9baed03802c3908e795e2b8a1f053b95f31a1642d1a123392f
|
|
|
results-80300-7
|
6.62 KB |
sha256:22063bf6f5698319bc226c06ff5b44b07ce6641291084dbe0ec946c0fb0d7201
|
|
|
results-80300-8
|
8.16 KB |
sha256:56faa12d9916034f55e8bb4744596efc54989095f922f766f654bf1241ebd141
|
|
|
results-80300-9
|
7.63 KB |
sha256:820d3a7a049cd2d24517f9252e71355b913b3856eb7084fae668667294ad2c3c
|
|
|
results-80400-1
|
6.88 KB |
sha256:c554769796c457e0f49d90c3ca38346d18c3cbd9d7b402c2ee18b6dc33fc96e5
|
|
|
results-80400-10
|
7.98 KB |
sha256:51ad0701a7e7cdee1006808ab81189744bd1ffd077d21c60f5fd1f0c830cea0f
|
|
|
results-80400-11
|
7.75 KB |
sha256:f71b9760d532420af74d707cd4c46b9093a8bb455a9d716340d0fc41a34789cb
|
|
|
results-80400-12
|
8.3 KB |
sha256:4c0541a53785d3c4c791ed73f606ce704fbab04945beb914750a9a4edd2877cd
|
|
|
results-80400-13
|
7.71 KB |
sha256:3699474c85e33be41b6a60e264e8846fa2cba5ab149aa48031b865e311d7887d
|
|
|
results-80400-14
|
7.23 KB |
sha256:63ecd0f10e163cab7cba65f258c9adbce8d8e7d349e81d6aefd8680bb926973d
|
|
|
results-80400-15
|
8.73 KB |
sha256:c3a4e3b2faedf0c56faac19c1a1611680356cd5354a61b481ead701e7c823c68
|
|
|
results-80400-16
|
7.56 KB |
sha256:10bee38b1643e63d02ad70e13fa0630c93275c39685164a3c6d40c81ad640784
|
|
|
results-80400-17
|
8.08 KB |
sha256:f46ce49d16ffe4e3bcc8142e603a384cba6aa9b5d958becb5c82ac24aaf0e7b3
|
|
|
results-80400-18
|
7.13 KB |
sha256:dbd83776d81973f5c11b361dc791407d9fbf07bcb26fb79d0c0720649dc5baf1
|
|
|
results-80400-2
|
12.5 KB |
sha256:4c0d2e2be71ada384512e800b4cef53eeb4d5b81666050b75302f78bcc5d4413
|
|
|
results-80400-3
|
6.83 KB |
sha256:1e2caf9ae626cf89f3dcef204ab745547ed721a2f292ccc0756e95628f116d53
|
|
|
results-80400-4
|
6.65 KB |
sha256:11d0057db5f2a500ace52330809fe7d112baca9939383bcbc50522970e7dca34
|
|
|
results-80400-5
|
7.29 KB |
sha256:9013837ccc73930b42caeca810745b427082b94c2a8d6a7eced7207a3f754cb7
|
|
|
results-80400-6
|
8.2 KB |
sha256:78e9e66f6e5d18adb05b1ab2731c728de7f16dfeb7af2825c6815ab1d2fa185f
|
|
|
results-80400-7
|
6.62 KB |
sha256:0c959f0d8463f7ec5f70743e5f9a0f92df20678c61a8068327e232a669804c83
|
|
|
results-80400-8
|
8.13 KB |
sha256:2015db4d95d4f4113d3c672f41958ed2b38f39f69804430be1d265c3d79ab7d2
|
|
|
results-80400-9
|
7.63 KB |
sha256:a4bfba930a9c231ea7b9ba91d26ac3195ab49b353890d404abd026b8f1647e9e
|
|
|
results-80500-1
|
1.23 KB |
sha256:b0c88bf6371582e61d769c62d4b9676800bc141a2f53a8a1a2939b06f1f4dc87
|
|
|
results-80500-10
|
898 Bytes |
sha256:3be1917b495469c33fd5fe9c99d2590c0ef3a89f1caeb32f11ebe668169ecf97
|
|
|
results-80500-11
|
1.06 KB |
sha256:16050acfc2afe4ee65664c5d47373997701bed8b1a76fe78b86e09a9a2d14722
|
|
|
results-80500-12
|
1.12 KB |
sha256:f45772c4f735623a1e82f70c6cd28d0431e23bb73961f27a5b2f861800ec92e4
|
|
|
results-80500-13
|
1.43 KB |
sha256:f16cb1f5eb0e85a8496b7c0c84060b528bde8e454ced3db688160341b1a99032
|
|
|
results-80500-14
|
959 Bytes |
sha256:73aebc59c12e2baae2d9788912d6e1f930eec76c7ccce96313e929261c59ce35
|
|
|
results-80500-15
|
1.02 KB |
sha256:e76b7e050a2fd5e232b0ad3f14ed269c7b13f8e4db0fe10a4a9c682485603c2a
|
|
|
results-80500-16
|
947 Bytes |
sha256:a7e93f3840bea793133cea11c893854539eba738c7e245ed8d50923d11b0ae93
|
|
|
results-80500-2
|
1003 Bytes |
sha256:f7f74a0cffdefdbc36abc0b4d19fbb476adb964a8499810b822b91315e2489eb
|
|
|
results-80500-3
|
1.01 KB |
sha256:25746648ea1d5e1d30e720caf868fa1c8249a7e6f77f041eb9b698a701b117cf
|
|
|
results-80500-4
|
1.12 KB |
sha256:05ab49a9173b21e3fb71c15677f6489b0d57ccdf921d26e1a5efcd5ca4ccce0c
|
|
|
results-80500-5
|
1.05 KB |
sha256:21763e5faaf144ccc57e736d0f9dddcd0094c759c0b5305f3ed3c6b423106b62
|
|
|
results-80500-6
|
1.36 KB |
sha256:41f0d188f37c5c0f7df0ffc47de4cf74ca5fb5574a3abcda48fcfae1d0c33c94
|
|
|
results-80500-7
|
1.17 KB |
sha256:3db43265955795a2ae7cae805619559b997d5c3d7b03cbf00b1896fce4b90784
|
|
|
results-80500-8
|
1.38 KB |
sha256:6b1a1ef1c31ccfa39863754cbf6b3220ae02d00a0ae8374c9f70b452fc52eec1
|
|
|
results-80500-9
|
1.08 KB |
sha256:cf47fa8aca01e8c818365224aea0b94df47db403ae22dd250fa4a0e7e3c6392b
|
|