Skip to content

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

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

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

Triggered via pull request August 11, 2025 09:15
Status Success
Total duration 3m 41s
Artifacts 138

issue-bot.yml

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

Artifacts

Produced during runtime
Name Size Digest
issue-cache
582 KB
sha256:4ae694d703a032c8750315ae1b0d286c4ede8fb240c3d03c92663b785e580f7b
playground-cache
523 KB
sha256:67fb36eeda020be900e8f85866ecd859d394f0174a1a06c119b17938f321bea3
results-70300-1
9.49 KB
sha256:58127f4695cda660aad7cddbac0ee7412d8d1d7ed8278b5bd32e29c1cd1cf924
results-70300-10
9.2 KB
sha256:f6ad2f27e94c46480438828d6db6597024595c6f1cc25d0c2a60edffa3731caa
results-70300-11
8.68 KB
sha256:941b485003cfd4ea9a07cc77008dbf8d5a8882ef38bac02e2e9e97d595c2fb5b
results-70300-12
9.89 KB
sha256:5ef4323e4aae2d9f40eb3e352abbf9f2670bf914e1d668f0aff5342bc3ebac37
results-70300-13
9.88 KB
sha256:4c60d695daab8708b457de45a30c485d441d5726c974332a5f2051248aacfcfb
results-70300-14
9.32 KB
sha256:e2a38969c99dce335487116c07a643272bc51ffcc3a4f0dbb3b706656131bbc7
results-70300-15
7.7 KB
sha256:a2377bba2100b775893065732f206a16f68f903b946a60c5873ac57801853a55
results-70300-16
8.44 KB
sha256:3d2538584e639e1c73aa6c500132bbe86f9edc3dd7f7107f4f2517fee8870201
results-70300-17
9.51 KB
sha256:90f29cca73990e178c0c9fe5f393d3a2b78c5b05e6f4d48fbc1520503c784be1
results-70300-18
8.92 KB
sha256:71e41892b3bf262ca774684e2f2feebe59ad430742434a5ae4fd44736ae29db1
results-70300-2
13.1 KB
sha256:a8f0cb364e55562964728e7fda62a1ead15a7c2ca6480d78f5666b3e098dac24
results-70300-3
7.87 KB
sha256:84afd1a35138d1e5a4e8f6c01c7525a025d1f48fa61346d9c8ccc46474a5765e
results-70300-4
7.2 KB
sha256:e87e8ee03cb78041fa15ab2d071f58769b48adbc3dce481ec209daebabc704e2
results-70300-5
8.29 KB
sha256:5b9a0013714010217551f1172cab090394990622ec7522ce24545f1a435d11d1
results-70300-6
8.67 KB
sha256:5e105456521a1eafbf126e5bd75dd35553f6fc832638dea5cd0cb68f4f10e90b
results-70300-7
7.51 KB
sha256:617b336f17e09ba3b92edeeba5b4b023e79548c09f1cd30e86c1dfb03cfd8d79
results-70300-8
9.61 KB
sha256:3dcab24fb6f1bd75ec5098db4c2970719037ccf6b3855957698d5939d6f29ca7
results-70300-9
7.99 KB
sha256:b86dc7bafbfabf0cda9fc2ffc68a6ef62a7e6d9a18dc2fc89c254d83624b752a
results-70400-1
9.34 KB
sha256:64d1a8d52bba59802ab5c38161f24aedb15fe16afe42e71d2ab3eb71a6eccaec
results-70400-10
9.17 KB
sha256:b572b30aa3639a482d44bd27589d296c4dc0c64d27a37b574f55b0df652d320a
results-70400-11
8.68 KB
sha256:7e83671bb0b85dc341046ab399553135f9d759585eaf27a94831724ba3a0fd4e
results-70400-12
9.84 KB
sha256:0ec79af04acbddc9ad6cf7403c0eaf0119e2831cf0c96740b501b6916d851ec0
results-70400-13
9.9 KB
sha256:12da5c73b1c41192466083540fe2aee6151d2fc517c6972f7b8f341a5027fe46
results-70400-14
9.32 KB
sha256:e408f06136d32272d0238a9575c23bf938a16619723b2488edc5a672e4b8ee58
results-70400-15
7.7 KB
sha256:b34b55b60f5587872e2263de5327b77af5e86abad1f11cc1b273dcf313dee7bc
results-70400-16
8.44 KB
sha256:1202f62d66661eab9c1e3c6ce122621e6ae22ad715d31384cfac7fc3f4cfe729
results-70400-17
9.52 KB
sha256:76a82c0eba727ff43240c40e347b46a090149a5976dbc3d7be8168203664d045
results-70400-18
8.92 KB
sha256:29642ebed0332914c806f8d9cdfdf8f614c975ec317946f9d1905d4db4475e5d
results-70400-2
13 KB
sha256:9d79935d05f8c517ea9d2b1c81cacac11600d472994f6ed878c0c15b6345e656
results-70400-3
7.76 KB
sha256:d5f3a06286c3070f09cbeb5f3df0bf08ef8abbd67e5dfcf168d7db6ed937f53f
results-70400-4
7.2 KB
sha256:eb8deda1273af7832baee4ac718270333f91b4e37c1dd458f0e14e26bf37187d
results-70400-5
8.29 KB
sha256:5e9d3c1748957d3dd3af526e52c0b057adbb7ba33839c2baa1f2d3206eb42dc0
results-70400-6
8.67 KB
sha256:343f05d731b3217c1d03a4e8abf2c18bd8618a5744d19c447dc394f70b99fccc
results-70400-7
7.44 KB
sha256:25956ec3330a6d45f0bf1aff6e32c5717c921fc9d302d16506d1aa19da7bd31f
results-70400-8
9.57 KB
sha256:9ec3610634c6f2bf471caffcbdea0860b7227337034f52201f6b0bf385c3e67b
results-70400-9
7.99 KB
sha256:92f039429b3d995da1dcaaccb6747aa13f6d5b262133dcd31e3d342e5943be36
results-80000-1
7.16 KB
sha256:3cad519bf55b9753303796a3cf933c255d8a3b30e7cba31c983d900fd968e445
results-80000-10
8.05 KB
sha256:c6451a6b26ff05bb008ae84730772aae72550ced218a097e5494e9c55d67be6a
results-80000-11
8.02 KB
sha256:d5f655fda1423c5d250639e7a8f310a81e1387e31b33cc7ff21904a70b6dab2e
results-80000-12
8.12 KB
sha256:bb7f0f2b51c12efefd7901a48e34d77772c5fa287b3dea2617dc58547ea4017b
results-80000-13
7.12 KB
sha256:a3882f12b52c90a44d32dbc1fe2bdb0ffa09899f78f532460401839274e3d42f
results-80000-14
8.1 KB
sha256:881cc05bc68344f1063e813a789d34ba9240d6c641533b884d0a922f8e2a37a6
results-80000-15
7.09 KB
sha256:6aedc87ad8615bd9b6a898eb637ef78d48a68a3a2cf18fae7ed279a39284a24d
results-80000-16
7.94 KB
sha256:165e413ffe811e2c78a1979ce733d7c68c809bf09e0587541af5ca357d44a6e1
results-80000-17
8.56 KB
sha256:e312eb9b22af133075117290be84deb8832252b2c26284c73d5f86dc2300de73
results-80000-18
7.57 KB
sha256:3ef9160766e29431d4473413e5cc93547f29e2d5e973335329442e7c3fdbf556
results-80000-2
11.9 KB
sha256:7e83c343b7eddae1f0b05acd1286ddf2a28afe8e4d00fa864488a824ea31f7d9
results-80000-3
6.93 KB
sha256:63e77b47e4aee0e3440352a7b05680235328ac166134ff5619a15d65f79b27eb
results-80000-4
6.59 KB
sha256:cd368569f41ef84dba69c57ea5dc0668fd208985488801e1dfffad4331734aee
results-80000-5
7.5 KB
sha256:073d9f29147d96ef406a098586638d6f40d69f8d9c5ede469843f9ddda509259
results-80000-6
7.98 KB
sha256:7aaae59232ec7a47fe1cc98e97b501fd68d26d687bfedfb95d7e3f255875f1f3
results-80000-7
7.15 KB
sha256:33b0951422ed062fc423f919eb377e3af6641136c62d1b45ebcf73ca3e9efc3e
results-80000-8
7.42 KB
sha256:7b1a6f1d683034ddf88c9efa6a8d850e011a9254eea5740af4ca4822179f28e9
results-80000-9
7.29 KB
sha256:ded63383cd3cf1bdc0854ae5a77c5caddbf41a33d3a386f4e7ba974652ed95f6
results-80100-1
7.15 KB
sha256:ece060579ddba7dddb3012d815db1e4ede2970d3abc8bef21ac1a3e32d9facb5
results-80100-10
8 KB
sha256:bee80e4da9eb7fbf9434ed026e3991ea24297358f488c265b3b0dba13757b896
results-80100-11
8.59 KB
sha256:4e88a75ade59c03653d499f79fd8a5d9ea675c17526951b6b79ca1ec42a27da5
results-80100-12
8.01 KB
sha256:1f3f2ee993e80da6a71713f157145b1a559861e2e78c64835cbb27e0ae2dccd8
results-80100-13
7.17 KB
sha256:b57fad2a5b3eb482238461507fe2fbd9afab29e4a9412279be8f0a068b9e9b88
results-80100-14
8.04 KB
sha256:e9aab2ae0377bfd71ea5c9e0ffc4c79d2cc849c8efe83545d98b003d5c9ab4bf
results-80100-15
7.09 KB
sha256:5a95d3a6c4b98c23748a73a84096acbc2f9a9c0451fdc650e7f3818ba951bc27
results-80100-16
7.91 KB
sha256:a609d3c04b4603a5ca8857da190a73efb83c59ba0e6a7f962da78a4c06c09068
results-80100-17
8.73 KB
sha256:4404cd212cb393147214fff0c65e0b287bc45973359e9ffddd99b579cb981023
results-80100-18
7.55 KB
sha256:ae0b3e0c973941c0a0a3540f97f757e00727e2fd44a44150d387fa89450406d2
results-80100-2
12 KB
sha256:d9dd5a7a5c070c33c5144df86dca5165254d0a0c96e6795265196e9769a2e0ba
results-80100-3
6.96 KB
sha256:2c3e1a9daaff3046da5362450f1b631c63185e44610f9b703a71e4caa9b4820c
results-80100-4
6.6 KB
sha256:ac0a7f9cad8e6216dc2f5d555303ecbf559a6c2f903c856616ca5edbe4a7aee3
results-80100-5
7.59 KB
sha256:c0cd814e035a6066a4bb63834e1122091fd5b7b0d6cfedf75256a0c66c4d4f90
results-80100-6
7.89 KB
sha256:28b2a2e5b4055666459438b3040ec08c0b63e4d4460b299da59851c232abef44
results-80100-7
7.03 KB
sha256:85ec31ad7ce6bbed0316012227ccdf5a12df51d0423d2d263a23429b463833f5
results-80100-8
7.96 KB
sha256:2d6bdeef8a049d35f4ae085430e605af492c0d946201cfb1038e4ec4c7ccfca5
results-80100-9
7.62 KB
sha256:5558db5ae2b49b7fbe8ef7d72a4f34ceddf83a63c818409aae928c35523716e5
results-80200-1
7.1 KB
sha256:b6ce745e1d8d0b903b751efd5b3cb6a28314bcda5d19ccac7dbe7aab234dadb9
results-80200-10
7.86 KB
sha256:7ba108c265156044b4d77a8aa9c933ec69ee3d79ad3decb45a52fdd5a601a145
results-80200-11
8.45 KB
sha256:ca3fab098ff4d89343d54eebe7f400ae83acdb38c00fd2949b077b7eba9f7b56
results-80200-12
8.05 KB
sha256:97d8e6cb45467bd26f486a24a12b8ecc55d4230fe54d3383af279a8f49855680
results-80200-13
7.17 KB
sha256:238137199117d6825d2323dbfe3769c5528302c3a62e9e5aca57d96d40acde2a
results-80200-14
8.06 KB
sha256:791cdb509fffce1662cfab9dc040037e5dc4d168386cb692cc3db56c5e876dc5
results-80200-15
7.09 KB
sha256:9a54b0dc6a12cb7865d9636da8b8f38d5ab9fdbd586cee37302e55a280645c48
results-80200-16
7.92 KB
sha256:facc972f3c53c40b305c3bc46b6c99edc79b1db755ecd35a70de08e46978c1e7
results-80200-17
8.64 KB
sha256:287838bbf992708b3ade388be915fd1e1a293413d329cda16ddb0fc4dff4c149
results-80200-18
7.42 KB
sha256:6d3551ceb3f3e46c2da3039f991dfb934b77092098bc49a3a28f414b0763f9af
results-80200-2
12 KB
sha256:ec24a3096cac20254886e3de7c4b52d02b32df8fc81edbdb5be6997156ee18f4
results-80200-3
6.96 KB
sha256:82d215ffe322969683b6e7446557e121aa52bcc3c3aaf0cc90bcbb8331616c52
results-80200-4
6.64 KB
sha256:08f60aa67bb402b28ba68a82ec243bf03a8dba0f8fb39d39d120911f361e0a36
results-80200-5
7.55 KB
sha256:2a3ba7d65cce2deaf6cdd6f77c3a103e6183fe691494c4834d8aacc619070e7f
results-80200-6
7.91 KB
sha256:25de3e3ffac74ce2cd4b4c71c1753315e7d64877245ca8eda1d46617ae813652
results-80200-7
7.09 KB
sha256:9439127a6f461634b949ab3e8dc0fcd11897544fdbf0910f505b99791758b574
results-80200-8
7.68 KB
sha256:c33f730f49a4e09176aad10c32fa3ac500de60e2e421fbabafb4a2a97df8e19d
results-80200-9
7.5 KB
sha256:5d0434d5a26038a106e824646526c3abf336f1c30fe3f4634a618434b42afc43
results-80300-1
7.01 KB
sha256:165f733af8622623efae10c5f899078b04511f1154f373d9b5e13b0c7ff703a8
results-80300-10
7.8 KB
sha256:f826a1a340807bec7471f3a68e9f539f7097cbb538fcb04f5994e035ee918ecf
results-80300-11
8.45 KB
sha256:e83b94c5844e9e75024c23f61986c643fa9a415a413ec518820f5f8da0f7812a
results-80300-12
7.94 KB
sha256:d4e646fcb4bad19beb03325c5dd3d97fc4a151e899ac547de129e1ca4aed17f8
results-80300-13
7.19 KB
sha256:1465007569f98a7bb1a93caeb8d6b71313364c988de02819e7b0313eb8971cb8
results-80300-14
8.06 KB
sha256:a4099a3ceb1c8a70de9346d4a3d2ceb6ed5b2350793121212f5c55c6c8d5c957
results-80300-15
7.09 KB
sha256:fc7f23a9ccc5cb34079e58cb35547ae9be29a4bf09b9dcf0fae0223527f24da8
results-80300-16
7.92 KB
sha256:db258243194aa5affffc3a50afab9f6d8eb203d26f0dafc1c5d96ee91da57d3f
results-80300-17
8.4 KB
sha256:563a9e2f08106a009da9788c5f23687bee783b7061cbc92d86ed9f56bd28e5d2
results-80300-18
7.42 KB
sha256:79e0d35a77649c5b12a2a4b6224bf69bbb0b057d362228129c7e39b670f77382
results-80300-2
11.9 KB
sha256:bf363a0ece03743a5245b23b0628258a6c7958c149297b5c7da02e0040ef3a69
results-80300-3
6.96 KB
sha256:29c77116edb85b798c1d61e0a224f655af3dafd2815328aa73a47c4e5d130da4
results-80300-4
6.64 KB
sha256:c84c28b8402a385ced8f13ef45bdc6da5f52259c380bb6fc34ac3b5d70263e39
results-80300-5
7.55 KB
sha256:fa7fc4d0538d5a098c6b3777c4b1b37f3708d14c1961c3d793b6d8231294bb6f
results-80300-6
7.91 KB
sha256:4159f45c05b1e1b32af96987394206ca1b4488e05f8de5f58207ac53ebb87ce0
results-80300-7
7.09 KB
sha256:ac99510642c30e652fff1d403294929f07b5edda6e3ef483defffdb473d81886
results-80300-8
7.68 KB
sha256:8d27cb680b8d28f280989b53902310d2e1716168beb5b4ccb6c65dd80cc8322d
results-80300-9
7.44 KB
sha256:392d8984daee0b18f4ed7d380bf485caa1e290fd2db3904e480b40d311c4b93d
results-80400-1
6.96 KB
sha256:58b5dfcf924662f6947304b57629370d18f3939ed345f55b08824e3e9b032b33
results-80400-10
7.8 KB
sha256:ef0dea5afe7f6cfd831a34d88b7755eeb0a0606928d3147f8a0041fd5f700e68
results-80400-11
8.42 KB
sha256:4fdb279f1bb0f75de96f6813c32b929afb84860aeeaea189659bd0c76f2c7441
results-80400-12
7.92 KB
sha256:6717a0ac458200f794dc46d195143818f93125ab52d53e02cb022da397999e18
results-80400-13
7.27 KB
sha256:407e2b2ff3e8d2fde727e68afb8c82089145f677e7c79220219e8d63b56704d0
results-80400-14
8.15 KB
sha256:d3e280fc8874cc8c408ef33d59b5bdee2c473842de10a478d7672f3069e1281b
results-80400-15
7.09 KB
sha256:313cd0c3e1934b8a59eb58508a9384db3ad1dbeaef9a8bfda2b594a658d10244
results-80400-16
7.87 KB
sha256:db63c6849cb3f30bc4dc9f71161242127737f5d5d481f98f7d4e942491814652
results-80400-17
8.28 KB
sha256:6a4d70e25a8740d148e218266f42de9318c9fa726c4e2fcbbd346a9eb7513c9f
results-80400-18
7.42 KB
sha256:22b9f3c9c9de5d4c72ff50f7279999a0b4cb375087eb66764a63e4e097d23127
results-80400-2
11.9 KB
sha256:71cfe304dfb889b8005031bd7c407f5572e0c02242ceb583d58f6f504bf5083c
results-80400-3
7.04 KB
sha256:95e1569792f4e12bb53609f7590945ff728d3f7f6e68c0606720186563d79166
results-80400-4
6.64 KB
sha256:2b05ef483e55ea2f148c85148f310273db8a624252b64a40ad5f512f147c013b
results-80400-5
7.54 KB
sha256:7de9b1c994d6593161f3fb3fff03103369f3678ae8f0c41313d1edbb04595548
results-80400-6
7.91 KB
sha256:0bdb266760e9ac36796d018196c9228017d9584250975b3c8eb1fcd3a081f0ed
results-80400-7
7.09 KB
sha256:755178d2a3f6d13dd9fa709187f162926082c25dd95838669854fb19b492b1bb
results-80400-8
7.64 KB
sha256:012c63f5820e18bab20e0e0254626b8bd4cd76c3e8b32952a195d81dbfca2184
results-80400-9
7.44 KB
sha256:77ffe1ca8a0e02c510f2294fb21f61b788634e879cd2a2bdbf45628867bf3bef
results-80500-1
832 Bytes
sha256:bdef4e63477978865048f8da34e4f659ce93eb772b24085cee3c70783de7a01c
results-80500-10
524 Bytes
sha256:a7f66e41f063f3ba9c1fb47c82bb762c3388d7c501382503f89bb770aef4da17
results-80500-2
498 Bytes
sha256:80f5b11c98405c97fd245416336d641ef04600e2a846bb0e5ae32ef27b5abfa5
results-80500-3
475 Bytes
sha256:77377cc62592bb329a92d96ebeaba3edf944c6e04e095130e3f6f8c4ffb6befc
results-80500-4
618 Bytes
sha256:d45a385e3c03c6a49b14f193dd5b9d6b1fdafb48110741c5cb55f280ac477bd2
results-80500-5
480 Bytes
sha256:17490db64d2b613dab9ae95c7fd873c34925c8fdfcc922e40deae520d07d966f
results-80500-6
608 Bytes
sha256:b86330b3345f8c3f59c17c24ef545cdb8201000f1ed36da6d936053568808a6b
results-80500-7
480 Bytes
sha256:54692321e9651db96f6a4e2b4463709174902b108ecd94373cfe9916b0f3edaa
results-80500-8
740 Bytes
sha256:becb4f20109bfcdcfab63b1ddb4d6cf1404adcb3d35bb3dbdd637f46ffa07e32
results-80500-9
532 Bytes
sha256:b1fc0d3cb26cb3cd0dc77c5d8159dea30cc421ce65e23e757bcf4e05fe71d695