Skip to content

Fix false positive of function.alreadyNarrowedType (function call variable assignment) #12499

Fix false positive of function.alreadyNarrowedType (function call variable assignment)

Fix false positive of function.alreadyNarrowedType (function call variable assignment) #12499

Triggered via pull request August 22, 2025 17:57
Status Success
Total duration 3m 3s
Artifacts 141

issue-bot.yml

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

Artifacts

Produced during runtime
Name Size Digest
issue-cache
585 KB
sha256:1f386f859c03d03444caf4ef6f79404a6ba7aabc992695a6a4be174adea8aae2
playground-cache
526 KB
sha256:2e6c0c4b9be1260af04d51bb307bf4ff4026757f173ab1a1f5ad9149164e9be8
results-70300-1
9.49 KB
sha256:a69d33a2e4b7e7327616dd40a7e482b69e0d041c8e53b1142c2dfabd0e4f9add
results-70300-10
9.2 KB
sha256:3afe6825813486dc389fa9709e0702ed7ff4caae2172d1d0ccfeb2ee6676fbb0
results-70300-11
8.63 KB
sha256:9c2a6974a3cdd59fa99ed851d9724a6b9698496e86bb5217668725b54c0873bb
results-70300-12
9.89 KB
sha256:b8a26df73c27ff868df6e2349af4a3072009f8e166421750c33227b70e72c3cf
results-70300-13
9.88 KB
sha256:62da1aa138714ccb213e1861a5c4b66a797d69d9ba8320382490e77a6a66a105
results-70300-14
9.34 KB
sha256:1e3795be90b9569f7fe47a53361f16ced5631e31d319ef904c7f36694c15c1c2
results-70300-15
7.7 KB
sha256:2354e805b75517ddce0740f1fda2ba188a478cffaf924ffd2ff9256d99fcd600
results-70300-16
8.44 KB
sha256:daa0fecb1d28059f806186c2f0c914ebb307d400e30a9c1f5e7ead7e519b6e0b
results-70300-17
9.51 KB
sha256:84b37f75243541c4629e06446dc6b400e3c222aed2492a0c9b66be2236a76f26
results-70300-18
9.56 KB
sha256:c8f556bdc2dacb1ddef767b23c40d712410b734d631a4183dca3fe72a7be2829
results-70300-2
13.1 KB
sha256:344b6dad2dc977e8b43fc6f00cdd52c0fbd1e63a0472033ffd93c8d63aac6470
results-70300-3
7.87 KB
sha256:35dc72b6a633ca683c2eae8741e83e5cbae1269d7bb29a1f2a1ffc0a594dd377
results-70300-4
7.2 KB
sha256:d5bcce82a907f8383fc6046e09556926a45b1908fbae0188982c5d49c0609aa9
results-70300-5
8.29 KB
sha256:19f7219d3dda2b2d12122bb0bc8af9a8f062447d22131455620c48f87ec0f4e9
results-70300-6
8.67 KB
sha256:e4f922d20688e1024cf2ab33619f895af1791fcc269afdc7731220e4a3657afb
results-70300-7
7.51 KB
sha256:80f2b8aad2ddf3974c3b6cbb284553ad579a60ee994f6767f817db5d6ebecdd4
results-70300-8
9.61 KB
sha256:9003ccbe3241900158889b68fdbbd9aa7952dd167ce56f9c481d1d8c5febe0aa
results-70300-9
7.88 KB
sha256:c9e9e1432d6c5382a69d82d2bdaa8d56d0b17d623cace5f0b9529d11dab37f72
results-70400-1
9.34 KB
sha256:d96280ff48399a89cd2e03f9550b1ca6eee32145b56fbcab985f5b894772cf3d
results-70400-10
9.17 KB
sha256:3644d683d9579e3e150b3e83415faa6910b67a117372d8417d108c8a4af8a769
results-70400-11
8.63 KB
sha256:17a114d8bc0bd04259960c566e3fe10a668f6c8935d35dfc17dc812db8c907b9
results-70400-12
9.84 KB
sha256:c5ff365b8641a7948bff30d643d8aebd06f02f873fad50932531c14b3d1148ac
results-70400-13
9.9 KB
sha256:06137e11b1668ac001e039e1cd3016609dcb0f87390b693c76550308b0156261
results-70400-14
9.34 KB
sha256:db7a9b8dff6263544f33e958dafc6ba3041a4cef30c63bd5d9c7b789430c40fb
results-70400-15
7.7 KB
sha256:b16f0fdbda565a33788bf1c852f7a02c1ad8ea34f23772ae21b5c64baf8fd80f
results-70400-16
8.44 KB
sha256:f55799cc9e3f0105574b9cd041d7101460e2ddb9783be26acb652e2d67d59485
results-70400-17
9.52 KB
sha256:049b12e984732dd38526db867a0da055985b01bf80b2d96662827c75665a00e1
results-70400-18
9.56 KB
sha256:8d2d69729a33da04f9aab40171624ec63a20691a6664fdbfb157ba54f382672d
results-70400-2
13 KB
sha256:0e6bac2a4871b2ea746cfb8c4c169011882d4c2605e42546306aef017474ad40
results-70400-3
7.76 KB
sha256:be0aa9188303d294b4d4c3b7b85957e3b09be8aa3a58168b955f46b1cb4ca848
results-70400-4
7.2 KB
sha256:887cbbdc7842ff3974763a552092aceaf7454d48dc48d3f2531e09f3cb15a882
results-70400-5
8.29 KB
sha256:2dd1290b666532cdf5acc1bf3e6d06cdce8707f48a57df3cef9cb2bbf11a66dc
results-70400-6
8.67 KB
sha256:c500b9665b134601fb13c5208dd73349a66cfecba2000c4e847261829c2c9a93
results-70400-7
7.44 KB
sha256:fd2b22bda1bff86b45a4cbc190e9ba9840c790d2ec3ddcbaa0604f6a4101911b
results-70400-8
9.57 KB
sha256:3009ff9dd5457d8669471beeb03f9ce1e88673c3119558e60466518c1a7a0174
results-70400-9
7.88 KB
sha256:0da52c65d9f6f650c7c4a07799aeee82b2c7769f0759dce5576b95b45bd7d632
results-80000-1
7.16 KB
sha256:3b3e069b41e43c6fed5580f451d0c653fd4a0db86a6c045d1863cb818932a916
results-80000-10
8.01 KB
sha256:f50f32c3b4b3d12dd7508c72e11b05be9853da951cf381c1bc03b4d640bc99aa
results-80000-11
7.93 KB
sha256:7d0395456dca1ab4a7d7b9fab186b042b636f4bb4b72a0e4bb69cce5272eca4d
results-80000-12
8.12 KB
sha256:9f67e1fcaa2151373665a8d4e917a48d99f36f19e18e7328680422a79d103396
results-80000-13
7.12 KB
sha256:7b211bf2a93d10551b56661bc9b349db28bd2fe49236d58729aa113f7d5ce788
results-80000-14
8.12 KB
sha256:7f058d028f5102a7a615d67cde00d7e0e45cd07ff8cb36272336deada1c80354
results-80000-15
7.09 KB
sha256:1952cbd4213e005368760f36c93f13bd2c3b74c1eb1ccb69317533e3d210ef1f
results-80000-16
7.94 KB
sha256:eaf60acccce14d28a877e84d74baa8b139facee0a9cac268eb772dbcd2d07223
results-80000-17
8.56 KB
sha256:21be0303cfd2ad2ad117980b0482f0e62fe32496c52aae1d6ccceb5aa4354223
results-80000-18
7.88 KB
sha256:78d5f6b52e3ed4d2a0c86f54b9bf7c0dc61d3fdb4c2149ffed27cf63aec91e0c
results-80000-2
11.9 KB
sha256:5e6b48de0d0ef953dc41c8c95c8786536eef5fd3cef2a88d4b794e38ccb6c34c
results-80000-3
6.93 KB
sha256:392ef68e67d7862c4da785d88790de118a5f3ff8941bef54b13a4dbdfa19ff20
results-80000-4
6.59 KB
sha256:d2196075896b160b938e1f65fa2ea41a21ea5ded97a6847db38cb3fdbb8d76b6
results-80000-5
7.5 KB
sha256:9288cb5eb1af76d6e702fef7d1242294c1d696115fc9b348e06f39d40da39acb
results-80000-6
7.98 KB
sha256:938b84966b9ca3331c556cb6f8e8b2210843876a4be8fac67408fd7cef5cecb5
results-80000-7
7.15 KB
sha256:641818098acfb52d1f0fd87e02f25e2b0f02bec52a59300fe0e564626f0da3a1
results-80000-8
7.42 KB
sha256:aadcca47ebe3746e31813c585cc2cf6de650b4f70c8a95a20b7c181be197bb4f
results-80000-9
7.16 KB
sha256:af9d611a159b760044078bd9f1fa6668395a2f363db61717194dc92fb7dae544
results-80100-1
7.15 KB
sha256:be3fc767c9449269e9da7303220ccdef9e162d89f2810cf041b153769dae866d
results-80100-10
7.96 KB
sha256:dc12cf76c88fddb7b2c585594495054e1b1e08569450e251ab95cc3656c42589
results-80100-11
8.54 KB
sha256:0e3c17e216bf9d2ce9741ba3a76e26204cb20138f99ee232e64457d94a757eb1
results-80100-12
8.01 KB
sha256:e0fdc831b422c31c29e66ab387fc7cb054a3642f26bb4ed40f3f8afa67ff1d5d
results-80100-13
7.17 KB
sha256:b72b4571b2f342a2acfaf7a2861dd13bb0c09beb5d6d3fa57080934667d4f021
results-80100-14
8.06 KB
sha256:ec1052b0fb72694bff2cb91bb3c390b697e367221db716aa3acb6f11840132d9
results-80100-15
7.09 KB
sha256:0e51495b750a79636f6b6abc509ecbfa641007c4762f4c1d282e8cdaedde855f
results-80100-16
7.91 KB
sha256:b6a9cb7c825798514c7c01488e3ccdbca9f405424b5e55604b77d1789ca7638b
results-80100-17
8.73 KB
sha256:225ed902da4d36cfc61e23536fa8576d4753a218618b1ac4a41774451f7f3ac5
results-80100-18
7.86 KB
sha256:2aed96785522106cffd294cdf696b902ec89491e579142665dfda4f985714c65
results-80100-2
12 KB
sha256:31086531780838b6e44ea87ceb4bce7fc30bea15c20c9eb60d8728091ff40925
results-80100-3
6.96 KB
sha256:29c2f49702f84911832ce34621bd3fad6e44547427a319c613668e5c6359b043
results-80100-4
6.6 KB
sha256:05bf111376fa723ba76a3000479b6f49cc0043c48326a6fdb8603495a887e29c
results-80100-5
7.55 KB
sha256:15ad85d7228c101db34816b95376917987783f8f722acfc5645eded201774787
results-80100-6
7.89 KB
sha256:a8f5848d103215e714ea9a9c328645ac1e0ffdf02a078f32d41c6cb67461f3a5
results-80100-7
7.03 KB
sha256:582c583f92ec83da7b551beed07b5758dd76bc8cf9a6f08659363de815f4fa95
results-80100-8
7.97 KB
sha256:9c57eb59635dd35283fc2150bd3a972501987c841e2fde5eac2185aec03d47e1
results-80100-9
7.49 KB
sha256:c54c55d5373f6ae6fecd79ad12132a91bff164e789227d3b1914b778131069a0
results-80200-1
7.1 KB
sha256:fac0250465c58e62df7b4955364ce14f8c77a743ada1c0510e230ec19cda599f
results-80200-10
7.85 KB
sha256:2ffe123620329e2a923d6877b4c523d628ed550eb9f314eda51e93255691d3b8
results-80200-11
8.4 KB
sha256:e8ba5c6d3b473f0e2eb81a4e62af2656e1f6e972d5b7fb73b139a6938f0c23c5
results-80200-12
8.06 KB
sha256:ac9a83a7bed2f7e8181c0ed0fbb73f8c28a14714965553c57cb2fa40fcbbf68f
results-80200-13
7.17 KB
sha256:4a121adc34cde77aab5c7f09fe21b6726799ef8c651a6e74c367c51df983a99f
results-80200-14
8.08 KB
sha256:116905912e7d234fe52223ffa9467b07a8b2cb5dc411944a026bcc4ea99a219a
results-80200-15
7.09 KB
sha256:1dcf302baa33625113f8e6a7b598fe49c9ff3096c2fcfb85a8c88c964cff9b96
results-80200-16
7.92 KB
sha256:3d611ed69629bfbb975ae20ffd04032002406b3301777add49f096c0fa32a901
results-80200-17
8.64 KB
sha256:bd40bf06f6ec2d0d8dd213a876999491398c01bdbb26aeb1965908f1dcdd4d53
results-80200-18
7.73 KB
sha256:e5e90e9bdff2931ff95495ea38a76720752630ab2cb41f5404850a396e461dc1
results-80200-2
12 KB
sha256:cf788296d406f9e305b2304f767ed2d72654f94227d766a80a1082b0fa046666
results-80200-3
6.96 KB
sha256:864a9bfa2128d06648dec52cc8ea5fe86f06afd02b47cbc7331630a0e0617254
results-80200-4
6.64 KB
sha256:cd2ccc4028ebb8d0269b3530bfd12511ab1c1dfce9a80e13a85f613c3a92a079
results-80200-5
7.51 KB
sha256:001e8c5033e2ffd3ec1f5e1b29aec8990c2cdbc3c4ef209f64af3c3f07f0d0b1
results-80200-6
7.91 KB
sha256:7945b4336a04c0ab27f620138ed0be1df627e692e2bc41ef61652ce38b0c8066
results-80200-7
7.09 KB
sha256:8b961dbd207b2b82717bc806e600b3b594e68d6dd11ca896cb3d5bce5c4841bf
results-80200-8
7.68 KB
sha256:7e235445a7e34e93b665e5b01a0619191b6cf91ddd0b88dbfa35b781c8d57bdc
results-80200-9
7.4 KB
sha256:280cde84feef8b94071ccae8ef4b7e7e88693afa0b20c898551121adf240a91c
results-80300-1
7.01 KB
sha256:71e0066b7416406a08fc2a7766238fbd41c5f28ce8107b63f297f5dd7a757012
results-80300-10
7.79 KB
sha256:fdb3701ef2b5948b6faff6649bf1b8a5c86140f3fe46bdafbd856c8e704bd999
results-80300-11
8.4 KB
sha256:503f603b393dff851ca8d5e3974627753f3030b8f92440b7d3b182a7ead67252
results-80300-12
7.94 KB
sha256:3a065a6d7a20b1e01983c59adb472687c714c073bd854d414c432c495f22f674
results-80300-13
7.19 KB
sha256:ab9f34ca5bcfe48ffb57068f305df9f46d5dc4c54d091f641579f17c2535e95a
results-80300-14
8.08 KB
sha256:054e204e27615417a43ee84b6772476dbe877c1a01d53d7a49beeac7e0c0da73
results-80300-15
7.09 KB
sha256:47588acf735253b28d74338a86f478016c2fe022f582b92a1411123727ba9432
results-80300-16
7.92 KB
sha256:f8d9681bb2e6da46a2f5a1de56454815bfdfe28dfc16b7541e6c61a71c606fec
results-80300-17
8.4 KB
sha256:24f5b3569f249abb496bef4b82894e38a00ddcf3ad12296c9b90fe9e82c9d03f
results-80300-18
7.73 KB
sha256:a428c1d66c0223f5aae9d3712628d7814f5b8c117397416881824d0798c2318c
results-80300-2
11.9 KB
sha256:28456fdc0f5fec429b440c2d05a3246d51abdb53aaf239930730b10578a7c69e
results-80300-3
6.96 KB
sha256:3a741b05a528d96a39fcc4c0e0220e9c174b90a2a3e739208cbefe3dea204de2
results-80300-4
6.64 KB
sha256:1e8c5d089c119ededbe20c2869fd671596a4bdda62efbe440e589abb94b2459f
results-80300-5
7.51 KB
sha256:968761e8532870ec8a4dc533f12cb02d122136d24850524ab9480cfcdd61c232
results-80300-6
7.91 KB
sha256:8c1c9b8a7d4e9e549890636bac89b514c2d8172aec6b77f263bdf30d03955595
results-80300-7
7.09 KB
sha256:1886973cd91b94840b6479bae0681866a459d0a3612803e5095e41617d93687e
results-80300-8
7.68 KB
sha256:095a767ec1cf0d6fc9fc8443c6300dfcd6875678bb30d979668ba3ace4939e29
results-80300-9
7.34 KB
sha256:63656649574677f960bf9223f8e34763b21a348cb46db57454280f29b128bd5a
results-80400-1
6.96 KB
sha256:9f72ba8b5a7cbb333c08f6730b9137bbaada495574fc7a26f786dbe6c801511b
results-80400-10
7.79 KB
sha256:0ef55f8b4fe523fe627c772a021d697487d7a31f347ef3dfaf3241248f997a0d
results-80400-11
8.37 KB
sha256:223252880cb16e447357432e33a7dc11b5bdfb9ae17ffa5adb74157f64eaa163
results-80400-12
7.92 KB
sha256:3b52111b8245c6d4c2e57d96194b5196211bfdfe0bd556a4c107d62a986a9e8c
results-80400-13
7.27 KB
sha256:5c5462f61e8ba0b1c99330984ddf16391f423f74c45942f4f5578d0d8f72e1ef
results-80400-14
8.17 KB
sha256:d774ce0b993d386afaee69141a4ef79091d33b06adb2e4a1a57cd1dcd53da935
results-80400-15
7.09 KB
sha256:af41275f1089d5439259da36275e506f3f29a770831fec776a146e07a9fdec70
results-80400-16
7.87 KB
sha256:b473a4d4bd872c3538a1a5180ad708aad848a2ff5669c13ea240565ba4c8839c
results-80400-17
8.28 KB
sha256:246c8a2be2006741342db815c36781650ac35d2aec7a5ce06434ba9a82bbdd10
results-80400-18
7.74 KB
sha256:2efd1f385272b5a15d9c7bd9ba3c2aa11537dadbf955ac078e352344725fc5b5
results-80400-2
11.9 KB
sha256:fce96c09e089e64a864804bd42aa24fc94cdb21526d5f0d475b6d9f0e976857a
results-80400-3
7.04 KB
sha256:3b3f6cfda448a528ea38e0979e551a6d2596091347c48edcdc3fe182802d9312
results-80400-4
6.64 KB
sha256:f299c90832506a05c3f765136349f1fdb68ffdc5a80f93d62dba077f91bc2fb1
results-80400-5
7.5 KB
sha256:90fcdac77770e04f7398a096f09ab99e52e033869ccd0d0c1f3460f4c456d797
results-80400-6
7.91 KB
sha256:f06a5a18aae96efc6889a871b363b97e1185df28f34e8067c90a68df87226bb0
results-80400-7
7.09 KB
sha256:167e42e92c94e36e59b95d063c7c7a9dc2e9ccb5a8a20bbcf624cd64515e0ce2
results-80400-8
7.65 KB
sha256:204957dc11ab35c7f819a0948bce27c6f1a7a9b6e75f348c2f8bc3689269f3e6
results-80400-9
7.34 KB
sha256:60abae1a333bfc97299eb41dc34382a5d8a1bbdca6c4764c6759b0801d901701
results-80500-1
832 Bytes
sha256:7a6171ffee0971d37ed0c1aeec828c028a087be7ecdf3857c758cb56aca53861
results-80500-10
555 Bytes
sha256:d6bcb251dc87755b4acf4b8c519b898a18c619d6d690927fc54ed7b9ae8cdaf8
results-80500-11
344 Bytes
sha256:2062793d0360aeb021f20862b857a56fed6335251bfaa10a371cc3c8c4a7a2b6
results-80500-12
636 Bytes
sha256:b7c9195ea8cc3830645bc5398132c9d2002caf31ae7c2a121afb3b73782bb6fb
results-80500-13
524 Bytes
sha256:8361b8279d0d5c6afd022ea2a2ff10976c1e39fa2b6da9d1f364a13b8877e650
results-80500-2
498 Bytes
sha256:d7b744f1028c3564e0618395c398aae44096400f4f0599769b95764079b34342
results-80500-3
475 Bytes
sha256:1a8605ec377168ec6fe754450a09098cb2151dcb20de863881dc3cc751c11b78
results-80500-4
618 Bytes
sha256:3e32f4edae9b8b51ec97d50a4b1e14754ea87ca94f47a1da0638676105fac058
results-80500-5
480 Bytes
sha256:d0a64efadb33f4ef45245ead73d2c2891d193b93feeb3f264a3a7eb45eee8259
results-80500-6
608 Bytes
sha256:da4a9c5a8ef3f937318d8a2fd52a88c25877619117d7e5e333115a8a35e8cdd2
results-80500-7
480 Bytes
sha256:f205be59b8670b15e31b043a6c0cd56757ee0784ec078b2c7c5af996ddce8647
results-80500-8
740 Bytes
sha256:463c343e8dbf47cd950a889e09d5c2429c4aaaed81da441637a8a6c1ac67e358
results-80500-9
532 Bytes
sha256:87fd1b0d1f8f0f3a6857cacde0b485404db7a943f38e62f105fef0cfe0abb74c