Skip to content

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

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

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

Triggered via pull request August 12, 2025 08:53
Status Success
Total duration 3m 37s
Artifacts 138

issue-bot.yml

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

Artifacts

Produced during runtime
Name Size Digest
issue-cache
582 KB
sha256:a39caa6ead75eaec44688d1ec151cb612a8bd08b1a0fe0735cef591455e03d7b
playground-cache
523 KB
sha256:f1a9f3feaf769a7da70aa33716262afccffd0591d30a0a4fab4d0dd13eeb7752
results-70300-1
9.49 KB
sha256:4328ed75fb9a096e397d5630f956ccb432b83474afdede73512c662bdd436ffd
results-70300-10
9.2 KB
sha256:bdf8a316d20ee36f6eaeb46f2d8e87abeeedc0f41acb1db3ba802310672c16a8
results-70300-11
8.71 KB
sha256:31fa126ef64b12569953dff3c34b0fc710f4b4603105e92addefa6225354b546
results-70300-12
9.89 KB
sha256:4fae294f651d833835f4ed701bd03ec7e885be6d2cf6c90970e93049ab89ea45
results-70300-13
9.88 KB
sha256:c17bf20972e39559ba36fec9fa43b4b795bfbf8eda61ca18a2425341f3e34d76
results-70300-14
9.32 KB
sha256:a52e791e76c0d4ce2e17ccc3cae358ac96bf72d8f38ed2619c0c57ab1e748c20
results-70300-15
7.7 KB
sha256:015a83c68dd24d34cd1e507f73df3a3401c73318db7dda9454a9332419d7a553
results-70300-16
8.44 KB
sha256:dc01a80edfe9e302dc74c6955a68fce2d748ed68fe9a3af500e7bcce46223e20
results-70300-17
9.51 KB
sha256:937dedcc5e50cf84c34c5a9efb198d02611d808bd89891fbf4da75da6c4bc688
results-70300-18
8.92 KB
sha256:e7cbaeeeae3b1bfb25f13973a585c090a1d5501971ba58cad3cefa031eb3e2d4
results-70300-2
13.1 KB
sha256:f596c63e2894edda68b2cfec1526ce9e0b3400d7fbcdda3459f9b432d569b1d7
results-70300-3
7.87 KB
sha256:2bfd1e5aaeb4d247b69cef1eeab4c87a3b5bb08496ade91871f88cc0e9e44e71
results-70300-4
7.2 KB
sha256:990c6e440738c80c49cd6d089f1c3fc8271cb464bdd3d81bd4dec75d9ebe83ed
results-70300-5
8.29 KB
sha256:dd22a96984cd286ed55f760a4e6a855e109ecfff0fb9a6649a27e629b1fb055e
results-70300-6
8.67 KB
sha256:81146b62972dcb658a63524103f82782bd69a86d021400660bb62bfe18dd7ec2
results-70300-7
7.51 KB
sha256:58d24631fa24f7173f59240b69279f5af157e1d71978fb028f3358eafada09cb
results-70300-8
9.61 KB
sha256:19ad21c1311f956a5d70e2ed5f3bc11cdb63ca1017ba244965763ebd376157a8
results-70300-9
7.99 KB
sha256:32dd96d7617d7da1e4a00689d08fd4b7d58f8edbcd7dc32cfbe8e385311bf44f
results-70400-1
9.34 KB
sha256:222d9d578a3aedb76b665fa4e241c5e4feb78bc7929facdfb6cb3715ed0dc031
results-70400-10
9.17 KB
sha256:877dbaab75d1998c22c86a963fcddce6f271fd269f8c133add3dc15d08427dfe
results-70400-11
8.71 KB
sha256:38028ec01c62919179e9f127e7717d48b83323a9480865e619921c6b79c60128
results-70400-12
9.84 KB
sha256:290bfaf0e581d2b49ef2bbda17eaffed8e841ce4d941fcddeba0443d508c636e
results-70400-13
9.9 KB
sha256:0fdb51507497aec4d3e92385607ba6f4b57e69b50c46345dde499946d787e264
results-70400-14
9.32 KB
sha256:9da9f84c526ad3b9adf1e65fd4345ef36330cea2d442d8ef1a87346f35b8ba57
results-70400-15
7.7 KB
sha256:8a3989b60bfd34f5a9cbfabc645af2cca2380ff2f4b84b8e612f096fa307559b
results-70400-16
8.44 KB
sha256:789d285519d4cafe985e92edc5c8c194f8432d2dfd89ab26ec5ce21df9dd2add
results-70400-17
9.52 KB
sha256:41c1fcb509c48da4133e2252ebbb059bec8ebce5d90d690e8bd0c3e49a4524cd
results-70400-18
8.92 KB
sha256:cf328dcd9b965a63dcdc69d78ed8ef2f347c78feddd20243b0d29e6b271405a0
results-70400-2
13 KB
sha256:e6bbea3b510be8cf3475f2568000771c6f207a92926de5193f9c032e73323130
results-70400-3
7.76 KB
sha256:ba8226ed748e2910a9583805f737d251ff07b2294c89cb1c8766645aa8208033
results-70400-4
7.2 KB
sha256:8f5a3329d80530ce07ce5be447da35d2a7b0fb327ce019f946e5b4994ae1c161
results-70400-5
8.29 KB
sha256:24f04698469b07da373b9371aa4e324505954d607311b27c2e9a88d940c4860e
results-70400-6
8.67 KB
sha256:f0cb6eeab2616b6036435b4daced93c231cdece674eb1bbf68bf776be0ca9c78
results-70400-7
7.44 KB
sha256:29d59ddc96d266e686052cdfe21e2854530664c5f283f5cfa6783dc20516a8e3
results-70400-8
9.57 KB
sha256:1e9915cddb170e96f048e1ad03b6107c4012700194df0b5cfe1a3c90a3301d29
results-70400-9
7.99 KB
sha256:0a0d843b288efc17d6215560b0614eb05dd54e9814c94947cedc1266d6cce522
results-80000-1
7.16 KB
sha256:d360914e121d85280f3b617a6105c6be1072f72c29587c6445ba2373c9ffc170
results-80000-10
8.05 KB
sha256:76c96cb0e8d20d7e3436e910f41682e2b0f0a5b0b65a5d3f9c1b03711992139f
results-80000-11
8.04 KB
sha256:38445d9b2b357f1d38ea2979f76caeb29f0374aa762c9b36b7a833fb170bf041
results-80000-12
8.12 KB
sha256:171cf411549e8ae7f7d54a136cd2cb7c0020e2cab4ac3936da6bb9a32c742455
results-80000-13
7.12 KB
sha256:9853d6e2dbdf0a8318d932ae38bcbf7934a3d474bd7dfa7dc5daa8227b2c2617
results-80000-14
8.1 KB
sha256:a833ffae152c372e72ff6acdf13afd5ff657662be651c9b22e0cb5600f7c4806
results-80000-15
7.09 KB
sha256:b18004d159024a3bcaa016094956b72eab6758be8e1bbcd75273200266537c61
results-80000-16
7.94 KB
sha256:b506df6d9132c62a29defdda393db78b3172ef05e640c7bbed2435077515ff8c
results-80000-17
8.56 KB
sha256:f49e483b8288ab75ee591ddb164d4539ae0d66c3ed335884c905d9a48c69c3ec
results-80000-18
7.57 KB
sha256:3ae5d7f37cac671d79867e1f58c600f6423bcdabb6b2d8a02dd82c0e951b2cad
results-80000-2
11.9 KB
sha256:4f1dcc99510e4241e3edc2c3fe43f1e059c6b902613cacae85762603996f8b0a
results-80000-3
6.93 KB
sha256:73556a48792669f0d58df6a6deadaa978c22246d6c3b8a6394e33df3d1f2bb0b
results-80000-4
6.59 KB
sha256:05aa6e1e3ee4d7f2ee119a2ea458d6d99b983d03baf84ddba70c2c00b03e649c
results-80000-5
7.5 KB
sha256:cbc8ae4597b3c20a9f2e72f1f9f04b11c53d9eceb4093202d7c7ca9aa2e22ceb
results-80000-6
7.98 KB
sha256:bba3c9b7d0812039692fd19e71dd88061601d48f83afb68db61d676177c21a7a
results-80000-7
7.15 KB
sha256:4a9b1e4eef709a07b15fa198a61faa03546dc1df8116237cf3600ba6fb46b52a
results-80000-8
7.42 KB
sha256:b10edcf3f6f31d6b0d1015187349d8723e6cd5d9c483563db7d85f8475d4839d
results-80000-9
7.29 KB
sha256:903b4e573ccee5949a1f4b9261df041180e87ffb34422ce14edfe1eefef4e510
results-80100-1
7.15 KB
sha256:a1c0a1b4aa73c6256af14de7668e79063ac3d0efb98b6ff149f2fcf20e2e1915
results-80100-10
8 KB
sha256:425de830b8d4ea85ed20dcefd145d69dd315cc184549ae5b6c28860698f9822d
results-80100-11
8.61 KB
sha256:ae47246a82def86b8d4bf31bc62630b4f24945ccffe57e551177dc23b0fc2392
results-80100-12
8.01 KB
sha256:ad2777b78e84442d18f1f428f000a5f0730a355d8f86cb078b6c49e6932367ec
results-80100-13
7.17 KB
sha256:6a66e1aa0a24d0514c71454ce345676a4f2f4b02de1ddc317a974b392abf5cc1
results-80100-14
8.04 KB
sha256:d836b13d239f11af64957eff04d73e5897ef721f89b8a2e2aa0f9693d9903510
results-80100-15
7.09 KB
sha256:5ee9b44db6cea0403b05e1b41ec6f88e75d127ad85f4cca3af83713d741bd99a
results-80100-16
7.91 KB
sha256:161a0e07a8c35eb3ef9d42c2355f684148db3695846632c7720e583871cab791
results-80100-17
8.73 KB
sha256:dc09248d1eb0e24e0da2fda9804c3d96b962d35bba16b729f2d3f4dc39057b98
results-80100-18
7.55 KB
sha256:025e61f5fce88dc1da7b71b2ba7051e20093cf3300b29fc4a3cc1165045217fe
results-80100-2
12 KB
sha256:84df2335ea20d1fedb3c59f0d30425e760338499f1233cac0dffb78ab020f9e8
results-80100-3
6.96 KB
sha256:ae24f54053d0c05aa06eefc49eba05ac1bb9e3c5882b6653e0c7a15d4fb4c3e4
results-80100-4
6.6 KB
sha256:fc94d3679a1fffe51c1f291f826bb3b6966367a65bed68cfa0279448d1cebb3b
results-80100-5
7.59 KB
sha256:897897282e94b7f8f6cb9f5f02c97124a3f46b040f1e2cf5f40652fa747d3590
results-80100-6
7.89 KB
sha256:e1579a2924a547f6d9823ad1afa9c4125f4655dc7fc402e86eef3866ea484a4e
results-80100-7
7.03 KB
sha256:b78847aa6723474b665431a78f38cc47ca415e66f94bdbfc69d74017fbd89a7e
results-80100-8
7.97 KB
sha256:b0f20c6544ec912322b141a53ad6c253c12954fae458be8aa45051372a1231dd
results-80100-9
7.62 KB
sha256:8136e7d45cf3f12847bb729afeef42f1e2fab077b0deb0c69be1f00f4507e0dd
results-80200-1
7.1 KB
sha256:77607983ff6ad26fe6647266359c1ea723debd17bcf55d91026e0d6034e57d3c
results-80200-10
7.86 KB
sha256:2f2e024c035d240aedaf7df98a663e00e31bcdd240f393c717874ec2dc062e85
results-80200-11
8.47 KB
sha256:912b1a8f947cb75c6b0cb976301c0d8688074b4d73729fc34ac9c1c12b425e52
results-80200-12
8.05 KB
sha256:79c4122637a94f089181179109a26d3729125f022de0b2c4574e68cff4b7da13
results-80200-13
7.17 KB
sha256:d23e3168b3f3ebc4d83a6dcfc68ec7be14bbc0c19ce66496f5d222a1c1a91601
results-80200-14
8.06 KB
sha256:5b07a5cb9e22c93754a341da30e264d52cd646af7577ba10d87a617a87567a52
results-80200-15
7.09 KB
sha256:d7475c1bab6d387b7ee737764d79162c1a81555f3300f15d25574f25cac6df83
results-80200-16
7.92 KB
sha256:adc54beb2144c3b3583e66b7cc27ad3b7c81f6f70516232562406665dbd2bffe
results-80200-17
8.64 KB
sha256:69147bc05dd273ea4f360da0b69bdb17595f58bb1ca4ef9cf1637406d78ffc62
results-80200-18
7.42 KB
sha256:5c341b80da23bb61ade5f47c3889e0c4ee0a1321212409a85a96b3d11e7f74d9
results-80200-2
12 KB
sha256:6c6a87b252908781d0b3ed74465909ef059b9e175e30c794bbe74dd014d16e6f
results-80200-3
6.96 KB
sha256:78512443741fb88448d6e73dea22b16dd017c722734ebed80fe40460125743d3
results-80200-4
6.64 KB
sha256:f9512fb6ab065bbe18348e14ed94706debdf00a0a7aeeb2945c634130995e908
results-80200-5
7.55 KB
sha256:81e22412819ff41d08d17696bf8cc1f850f0796e8f2e7d030069a77f70fbe023
results-80200-6
7.91 KB
sha256:9a27bb58cf73eefe8872041970bdfe1a961968a28d03edf8913c7694df4c0f52
results-80200-7
7.09 KB
sha256:0b58cead54a7da953fab82235e2d07757bf02e428841052a8eb273d8c6d9125b
results-80200-8
7.68 KB
sha256:a41f431ba32caf2bfac71a249a7f7c3eb202ab8b712c7e127d4bd4b094ab331e
results-80200-9
7.5 KB
sha256:88443693e5deb530b2762842b63700179b677edbd59d93fe6b18745cfffe9622
results-80300-1
7.01 KB
sha256:7875d77d77215a24c7ed0e5c40c6627841410c528eef94779bffa0af718c7f6b
results-80300-10
7.8 KB
sha256:9462dae9e5564c829a45491a21e71eaaf069a986d4c72cf0fb7d74f846bca4b3
results-80300-11
8.47 KB
sha256:6744bd5a9ebadacfdfbeb8d97ddf7610c71939e5bbf76f070489da32e575e55f
results-80300-12
7.94 KB
sha256:8c759446d300448cfe1245d70b65a571be865b0c76aaed00a2315ded6f41ed62
results-80300-13
7.19 KB
sha256:f634b6864f12f8e4df90f8452630f2569079c52c331ae8a63e33ef377617061d
results-80300-14
8.06 KB
sha256:80d5a12286446a6c4f04873794cdbd98ce0a6450911eaf372cc9362b6d56ed4d
results-80300-15
7.09 KB
sha256:50f4401fbd601aca263eefd7b065bd23b9ae7c6e3edd2e79c7385d2e77e18b26
results-80300-16
7.92 KB
sha256:341556106a92ff91a0f5efa2f84586c00bd8072665a29099ed07ff5d10b13dc4
results-80300-17
8.4 KB
sha256:7cde7695a5bf02e5d2e61229e4d7cf47b00874fa5f59ef26ea1b64df6dd25753
results-80300-18
7.42 KB
sha256:715a3b88c4c326a78b45e4c02d67524f947219b7ebbef7dfe1c66d0cc70934df
results-80300-2
11.9 KB
sha256:f280998d7225adf41bedcef45ed70a456e2c6d818ec7182981db498d330de8b2
results-80300-3
6.96 KB
sha256:94381dab673b2ec49c2c6aa666a1782f846607d7090711bc690596e66c7138e1
results-80300-4
6.64 KB
sha256:1d6075e979f9adef45ea7fbcf0a4a0130b23f6cf16c925409bbeb385591888df
results-80300-5
7.55 KB
sha256:0354e761812b2279967c8759e9adce069cb5f914b150373b0f930a32b216846f
results-80300-6
7.91 KB
sha256:3270dbb15756ca2c7ef7ef7c6f7192001eef8f0c56c4d9f6519d481c98c16669
results-80300-7
7.09 KB
sha256:50127690ee8c2fe4088c3d0c9e1cb52b6701527b36a36a20cc1ed802af34251c
results-80300-8
7.68 KB
sha256:b43ced0c41e6e872e57bb1e127cb9950b9ac8dfc966345430c74d7d72cdafbb0
results-80300-9
7.44 KB
sha256:e18bc4f3ff8e994c70f6ea2f0c218e5dc5ed686854c161ce0eea7726eeabb017
results-80400-1
6.96 KB
sha256:bef2161008d3c3e6b36d3c99e96d39a07d0dc931988fd337bd0394b08566b401
results-80400-10
7.8 KB
sha256:69a244233d339547da485949355743fd264325a478f61798063fade234205aa0
results-80400-11
8.44 KB
sha256:04182c47ef04d28fb3ba96f0d9943bd33ad4750fd5ff3ce15693921fc25b9a3d
results-80400-12
7.92 KB
sha256:658de64663f657061cbf871f90beb18266eef4de2e2112e0dbd231c1788da8e1
results-80400-13
7.27 KB
sha256:6d0ff5770440e65e72e6949d8886b633425e54dfa79534e068d90ffed34373e0
results-80400-14
8.15 KB
sha256:d090c5cee71abeec7b1a22405ef1e2caa23ead92511c9620b2681c69e5f1466b
results-80400-15
7.09 KB
sha256:d94c5182ee3a75ccf8148cc6fd3833d0a1a5ea555afd733d5d2feef26a1f21b5
results-80400-16
7.87 KB
sha256:6d9c2eb5ae5b23ecb07ef377d632ab226ccba9bf1aa511c1ada103aa447e97e0
results-80400-17
8.28 KB
sha256:db4c9596b2fa28661b1af7e934ad25a4feed7cfbb334aca0ff2f08e53e9ef685
results-80400-18
7.42 KB
sha256:a414bb2fce8ded10230713410aca278272236ef6850b4e35144d2a87123c471a
results-80400-2
11.9 KB
sha256:a094eb5fd20b2f9b26195961dd66a8f8255099215940df948abbfd8081a04fca
results-80400-3
7.04 KB
sha256:8972a08bc302f4a33bd9c5e036a2aabd1f625240e49f20bcebfc2f5600c676a7
results-80400-4
6.64 KB
sha256:cd793ecf6ddc8a721d9d85c2588481d4a607e13b5c1a1ea5720b919c6a0e94fb
results-80400-5
7.54 KB
sha256:5a53e7159ecc91ba1a8a50e94954abd45563cddfb5061061225e10f8cb91cb18
results-80400-6
7.91 KB
sha256:620e962b7121e718638f2fb5eec4c19b5150cf8a3a90c6a614cedf27dbaf28be
results-80400-7
7.09 KB
sha256:9055cf3724e8c40e670508cfba6abab29d4b855fb1cdb4ef2f19e3a3df59c210
results-80400-8
7.65 KB
sha256:b343d3a1034e497c137dcf4e35035cb9afa6875e20fc8fdd65174574ed2efb7e
results-80400-9
7.44 KB
sha256:e00acae98bbe5a8195e68d1a5e2148fe540da29e88fa4f8e54cfa19077757434
results-80500-1
832 Bytes
sha256:e6da97335a853d553cb3b696f881349e33068ca0314f6bef4c84cd917f166206
results-80500-10
524 Bytes
sha256:e9496a46e09787eb8bc3e6671fc53e49c8952ef5c42d93315a9dd5a4d0e8d1d4
results-80500-2
498 Bytes
sha256:696782c9373ef8db8b28c1c1b8a22f822b498ab23b58bab5b3cd5ae1b28ad4cd
results-80500-3
475 Bytes
sha256:7bf7913a933a25b3127b2f79bd29e90e97d0ce6caa4ee8d165699da83fbd3287
results-80500-4
618 Bytes
sha256:0d21dc21975a6c98f630169a00ad40ad30e4fa0fc4f0db494512ea523a9c5d9f
results-80500-5
480 Bytes
sha256:f31ae7a33f9b71d60cc71bd03bc085da234c851828c6cc8f107910a467bad379
results-80500-6
608 Bytes
sha256:bc0a0a5d2d7063ac7e1aeb9f8d1b58b398265b2215df16a872100cb9e66cbf7f
results-80500-7
480 Bytes
sha256:7a2e26f765553275d6461f7fc5c680cfc4552b1bb6cdfdcb3c77f357da6dbb1c
results-80500-8
740 Bytes
sha256:4296a67194d81f33808342f8a253804ea592458458f0126e62448880c4e51289
results-80500-9
532 Bytes
sha256:154d3efd97ef3ffe4b6857dcff6208b4d545e3ba1e504fb09d16acdc155f257f