Skip to content

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

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

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

Triggered via pull request August 12, 2025 09:12
Status Success
Total duration 3m 2s
Artifacts 138

issue-bot.yml

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

Artifacts

Produced during runtime
Name Size Digest
issue-cache
582 KB
sha256:e6023093007eb34777c1f255d465cae7e418a500e4819f4b955b2b90c358bbff
playground-cache
523 KB
sha256:235caf461b894e927bc4c5ed6e6ec0fc1d7a14b7d2605b17dcaa38f7ec247df4
results-70300-1
9.49 KB
sha256:968af408506fa6c5d16eb9cd80770aaa2f3bc387d10a616733fca4d07edbbec2
results-70300-10
9.2 KB
sha256:06e08211296f19a51c2334df2251fe35b4ae0d18ec00b1d32d6c32f0e2348717
results-70300-11
8.71 KB
sha256:d4b2303670f93927e1dd0f2906ff873d70367c7e12a628efd3238d2db188687f
results-70300-12
9.89 KB
sha256:915bac3a15c4b4f0c193535987262e86144ea659e7e68def8f9c6d6f65850f97
results-70300-13
9.88 KB
sha256:ec4e31fa34b19f6799ad370a16cb4cbacfd6dd5bcc986da8159dbd1f639e319a
results-70300-14
9.32 KB
sha256:cba18a4dae89e11511d59221a18d8abc40f306ff698f4402d5fe9a402148e4d8
results-70300-15
7.7 KB
sha256:fac3af9f2ea07a5f3d4f4050471246852f616ee92e1582232ce3916c2a3d0752
results-70300-16
8.44 KB
sha256:618fb9115e8ca71ebc9485462b1cca32ed8dfc67ae3340eb0f2a2c57d370ff82
results-70300-17
9.51 KB
sha256:1be5f3f85f1d12ecc8adf483365c1180772ced508740f18fd7787f2e5852f2db
results-70300-18
8.92 KB
sha256:63eba93a6111d6c16b507ca7782a9bec93fe259f9776338797037d5c8a6d4dde
results-70300-2
13.1 KB
sha256:c3fc8ccd3a0ff89fc7742cca26714b02100221f7df12fe8823d8da02430ba900
results-70300-3
7.87 KB
sha256:03bdcad00939338f3c515a2efb2a3c726b23da7b352c526c706724b8901b831b
results-70300-4
7.2 KB
sha256:88f0b43eed665a3ea435e617065e42b10748d91fd5e47af511f5de874c584bca
results-70300-5
8.29 KB
sha256:070ba7bcad45fb2081c77b67f48e68dedf6882777c054fee42209632750cbba0
results-70300-6
8.67 KB
sha256:36e69b8e277fe2cb35b84aa44b06ddd36399fb1e7db8e34392de675b4e270c5c
results-70300-7
7.51 KB
sha256:e7b3315db72e6dfb4bec6afa892cae312e0e862e98821a88ed548d6d1299caaf
results-70300-8
9.61 KB
sha256:e1fae1f029ecdc8196ed3c252e9386a5bc11c6a19886f3766f2544d9d3c8062a
results-70300-9
7.99 KB
sha256:8eb833e04c0a8702f55c329242c8c94b102b3dc2f6c0538d13200981bbf16b91
results-70400-1
9.34 KB
sha256:6f2606491ee8d64c058d1b1a5b3270d8143b2ac151eed4be9d0195d7a040ec50
results-70400-10
9.17 KB
sha256:06271123ebe285b02d0f989c9641c8dd5ef7116fa7b761fe8ed508049cff1c57
results-70400-11
8.71 KB
sha256:07464d110969e35039b0bdf8b50747d5f9c58416081f7197dbeddeb724d8f654
results-70400-12
9.84 KB
sha256:93c1001d2be66a625d181eca7b7d6d641dab5ceb84719b21f664bc5fbcbe56d4
results-70400-13
9.9 KB
sha256:2a59995ccf2af44f5f9285088becb17b8bca1a4851365fc75fe87202a8ff92b8
results-70400-14
9.32 KB
sha256:fe747b67f6f419a6e9ebe34bee8adcf04f4d1b5daa235c28919733fe0735ef2c
results-70400-15
7.7 KB
sha256:d3db5c39a2ecdebe70e573e4cce5ae859ff30ad6d53470e1b380af9685523a9e
results-70400-16
8.44 KB
sha256:54d4480cdff2320f183d95a2ec83e05e758aac4c054aab6349e20375da6215e6
results-70400-17
9.52 KB
sha256:99fd2dba7a157212d147b146ca559506354fdb3be9eae759386baa9c832f3bf6
results-70400-18
8.92 KB
sha256:d474d98dc2b08785d295685cb4cb6cadb4da509f142595171dd68811b01de351
results-70400-2
13 KB
sha256:de9f07da1468c72d15a93e7b6246d5936a3d3e2525a669092158c2c502204a4b
results-70400-3
7.76 KB
sha256:91b17f088d4dce0f4e8aac8f2429f7a4bc4ff0e0ce3a3fb740130bf7c3e6bbdd
results-70400-4
7.2 KB
sha256:ca1d44a4aab10dd2f530803d624d8bcebd0fe3f63b5a7a0f3297c15a8c04ad5d
results-70400-5
8.29 KB
sha256:94fa1f382deebddba8c85da1f6fc0938890f46da53dbcc3b3b042269e57013e4
results-70400-6
8.67 KB
sha256:8f51372ce0cf1e5215b3163ae16af50b103a1dcebbd784256de3e56c0804e008
results-70400-7
7.44 KB
sha256:56bd6e8215b7351c15a60da04aee004a8adebdeafcf112ff7fffd02faa149914
results-70400-8
9.57 KB
sha256:fa4536198f14c35ba81926ec790942851225c4a09e38fc925cdc7f1d6f6ac538
results-70400-9
7.99 KB
sha256:34650511430b15fbd2b022fc6141e2b63026a95ea1bf6bfe7281c33407e564be
results-80000-1
7.16 KB
sha256:fc0c25fa3467abf04fcec57f89f6faecf72ca05d650e85f828d0ef0c78de9beb
results-80000-10
8.05 KB
sha256:d8d10d4890a7b0d3c04001f0bccb69d49ea3e3cb4bb34c1ae37ae1f1c29ddbae
results-80000-11
8.04 KB
sha256:6215d95b9b998e74bc0786098ff85b38921b0d1d16e114867c75c55d9f97d731
results-80000-12
8.12 KB
sha256:9e6b2c33f8d9e312937e5b918bb487841bc8fbdc06f69327ac6b7dba6a53e6e7
results-80000-13
7.12 KB
sha256:9871c2c757a8cd45825cb8a0c273d702bb9cef851dcb3b9a476879eb674bde54
results-80000-14
8.1 KB
sha256:b83fbb6c7d514d8f500658965423f0ac0e221e52954e91b1ef339ec6842f0635
results-80000-15
7.09 KB
sha256:b0eafd1ee0b8a5e4e486633c76ab11ef277c89fca7677abe4f2e4d191f380887
results-80000-16
7.94 KB
sha256:95453fa1ff8e359d44d48f5f5e138eae2159374e24b32cacea458fbdb4806b1d
results-80000-17
8.56 KB
sha256:1d6ef0e40d0de4fa9b8968b5d72b350e2a6c1971b4c791c0ece40c9037970277
results-80000-18
7.57 KB
sha256:614ebffa3f41e719c769e38019aca45357a32264907f5d3e6a7b07c544aadc45
results-80000-2
11.9 KB
sha256:6f1d3f0fcd5e807c8f2b0c0607e9fa1d0571f219cd495fe6fac0a329eed64f43
results-80000-3
6.93 KB
sha256:901fcd70c4b4cf1acbf6f9bd42b5922ae3e695b3d87addd881a5500631d1d2a7
results-80000-4
6.59 KB
sha256:f31cfc78c2c66c327318c129b93776f78213ad6f18e87945c6bafa0b64aad401
results-80000-5
7.5 KB
sha256:860a40fc66f99192e2f336bac1769d9f8116a597f71735ad37fb6635bbd03333
results-80000-6
7.98 KB
sha256:82c07ad160bdbc21decdee0e2ec77c9714dd61f32fc4cdc84be4930d90136b5a
results-80000-7
7.15 KB
sha256:7cf2398e2210f6d9939b9b4a41f13cfd5bdd1cfc23cd6b562ac50be7c7f9a442
results-80000-8
7.42 KB
sha256:7eabc8fbcb1d3f44f575d44aa9e561de994db34599b11aae2a46b0cac49382e5
results-80000-9
7.29 KB
sha256:05a492825d506134176eaf5e76b833ba25dee5e50fca6e12cf65e8312dc35722
results-80100-1
7.15 KB
sha256:b9aa08d4ad316787bfa7b11672e23c654f5e385a72a59ec0e88fd6dd7ea86d10
results-80100-10
8 KB
sha256:c11504c5ef8099098dc543c8b039a6e03d148ad23d4e4577f8b97d1dd1aaaa05
results-80100-11
8.61 KB
sha256:53422af811cbc1e817757f174fe3dafa73bb5d8670c4589b596c8c082d012fe0
results-80100-12
8.01 KB
sha256:2c24d8b71a6d96bec1e09cbf06ded059283053ecb1e325938dd29eae80884d7b
results-80100-13
7.17 KB
sha256:65b4838bd9b63e86f7356fc842ef70921b976a13df9d9feb34ddfd8ca5d3c6cb
results-80100-14
8.04 KB
sha256:a62586eb817a58b18d5532119bc604a025b55cab06640ab1e071b40144bd325b
results-80100-15
7.09 KB
sha256:c3dbabd14d982e6f160c92b2d1fbdf3e110642804d079e2b7833de5582836e52
results-80100-16
7.91 KB
sha256:01f5a70b0eb319dd1e36f813515bafa3253082ef425065fc5b020fe79964f8bf
results-80100-17
8.73 KB
sha256:e59298f38a0251fe96e25c48229a8d978d076b1e0aeb5c7a5b3cd4dabe5570b6
results-80100-18
7.55 KB
sha256:4dae38fa2c2196627ec4b7d555bc950149eb70e5665dad3ccae8fbdc7653c00d
results-80100-2
12 KB
sha256:e9b636c302eded25d79ea8e562f5bec9b24ba260be3dc8f119928bded11d4f2d
results-80100-3
6.96 KB
sha256:846251bbfee3efeef199b42849236954a5dd9ef86af9e1f3fd53ebf4f6fb037b
results-80100-4
6.6 KB
sha256:acf5fea2bf6dc51dfffb723990487b331ce8c055e89060ffabf70b6748789011
results-80100-5
7.59 KB
sha256:9e72d509a57204ee0ada2b5a94c6e26730c11a371bdce78e1dd29428d138ab17
results-80100-6
7.89 KB
sha256:dda9a748bbd49e86e107aa4222a3384eec570829cc3152868d11a37313916598
results-80100-7
7.03 KB
sha256:08436aa2569b2cd735e5091c5c94f302eba5e624f6a3270f3267c12d001b3c32
results-80100-8
7.97 KB
sha256:2e9c6a0662462ede94d661e0dbf7efa2fac3f30ad7ef06dfcc44745c8ecfd72d
results-80100-9
7.62 KB
sha256:4722c9f5a164b54f2c42387c7de1a19478d52e891c60fa21624d5c8dd4bccbb9
results-80200-1
7.1 KB
sha256:9d305487172471a53489095afe26553b8c9c6fc9deaf0db974286f0fa21a4f4b
results-80200-10
7.86 KB
sha256:d73b811490e0927a2b02f480abb3394303af91e6906c98c54fe8642028cc474e
results-80200-11
8.47 KB
sha256:69c0d6d69ccb1f855f25e1abc58d6c0a7f62c89b9c0c1dd79124ec00f08f5356
results-80200-12
8.05 KB
sha256:86e361c563ccbd5ff519dbd4891958e0d47b22a454d5214a765f4f5f41af91ed
results-80200-13
7.17 KB
sha256:5140052beb12490ab99b33680ea6a7bb3fbff88e3ab9b3cd28a9a51617fb8e86
results-80200-14
8.06 KB
sha256:91dfbfda9071a191b680e376bac2bb69aeacaa7f997f928c652997ad86403edf
results-80200-15
7.09 KB
sha256:41f4a265cf17297555bd91974f54a136b9e9a0c928d576784594a16788537416
results-80200-16
7.92 KB
sha256:d7457256f3fbc96c9a2883d4a0038e3657b6e1211f196f0ec7d32fc82286a5ed
results-80200-17
8.64 KB
sha256:46c3186c4b3e1ef96485ad9414ce2065fa8a89e9e328ae5ffb4ab2d2e4abe431
results-80200-18
7.42 KB
sha256:db04414a95cd1262dc0a7b1b4d0b9c32700ffaa9e337788ad5441cc51f647ece
results-80200-2
12 KB
sha256:4602c378159586028e3e25ab990a0d8719d19968046a0aa5dc7e48f77ac32d07
results-80200-3
6.96 KB
sha256:c539b7ee18565125f7c26291f2de81d96cd8c9932a8fd81f864a23aabfb11614
results-80200-4
6.64 KB
sha256:72b33c1524f04ecc534e0ac683ea618259b46955c93b99d2bb8b80dcd22696c3
results-80200-5
7.55 KB
sha256:b6a8276179dc6660f88da25f8dba166ea5fea77043fce0ea63d05dd6822adc87
results-80200-6
7.91 KB
sha256:cf2080813a4235392c079468a50063f07fe43916a5a50d70373729e4f0b06d53
results-80200-7
7.09 KB
sha256:21712a62f6843127c8aea9445e737885d874182bffb78e7f63febcc297b01714
results-80200-8
7.68 KB
sha256:676e6d234198b0ff1e4909a162403d8f7ecd4ce7aa1a6b0bbf615a63ba9849a5
results-80200-9
7.5 KB
sha256:0aa76f512c133ec8c81bc87854ef126f74d2584548e9362d71b9e379420b8046
results-80300-1
7.01 KB
sha256:1b35480cd72bceda99f4b3bad9e6d87b5f97241e3e2c2c3081088dd278a3a5f5
results-80300-10
7.8 KB
sha256:8804957d294b51409e8fd85eff2fa1e83afeb8662c9d957a1e3e0da986345f0d
results-80300-11
8.47 KB
sha256:6f3889cc04bc0e18793011c3b0e3f9571e0c913316a40ea4936bf433c938999e
results-80300-12
7.94 KB
sha256:4b2b41eaf7744935da698b85dc9a6f33557daa53d0e290f939b0f7cbb32e649f
results-80300-13
7.19 KB
sha256:6266320ba34010144a4aff6936cf0343d3db80559e7c56b22f1120296276fac3
results-80300-14
8.06 KB
sha256:d80d9f1a39e324265695dca67ad8878033c2c480a6c216e2832179db6b2becd7
results-80300-15
7.09 KB
sha256:c0d8832dbd94b481cb1932e6b43ff90ee31672c60bf7be9bf56a6d0375847ea0
results-80300-16
7.92 KB
sha256:ec2b92f71af8e15ad8f8742ff0ec40fc73cf7d389fe3d1d7d6ce98641be39eab
results-80300-17
8.4 KB
sha256:72518f4c41230bb3e397f0cc85a870d1bda1707bc43099475baadbd6f372ede8
results-80300-18
7.42 KB
sha256:8700273aa80aece4254ad68b06de6e054fc6db76a6b151a00ee1432996e117f8
results-80300-2
11.9 KB
sha256:7213eaf8741bee941af45f0d6bfdc876370146fc8726f1d2fe681387573c5a27
results-80300-3
6.96 KB
sha256:e8383d8ec9dbce034835c6e3602cd304496384492f291230dc62b332389415cb
results-80300-4
6.64 KB
sha256:6b9ff4c6488f5b4a7d6b2cac463cbdcbab2f27a3adbe1a7fea0469dbb8a4b524
results-80300-5
7.55 KB
sha256:6760ae9b6d694d6cfdc71ca095d19eafbe6eb274a957f8c0e4d8212e3bc9982f
results-80300-6
7.91 KB
sha256:53228e21d13c91f031d11afb3db40dd6f16cb0156236774bce48c03b3d86221b
results-80300-7
7.09 KB
sha256:7c3cba224349fcc3c69877728f8fe415496f5fdcd89541d41129cc1ae7c296d6
results-80300-8
7.68 KB
sha256:60f619ffb973ba4581d2ee75ef6c1eed78e54869966d1c9cbd5f9d1709111982
results-80300-9
7.44 KB
sha256:0294149d5ffaad8c969bd19ffff4eb91095c1bac5c2bdf30d0004e5f3c122abd
results-80400-1
6.96 KB
sha256:70b0e38d69195ba00fd094397414353fa92bedc9671cf7980802a15b627fb3f9
results-80400-10
7.8 KB
sha256:65bbc09acc3a141417ecd1026326ac122c2be4f662e502e1e06d8b2d2017b576
results-80400-11
8.44 KB
sha256:fe083cdc23b3410ed92caa6d07c2c31a40d59971b068e429054ad76b46008819
results-80400-12
7.92 KB
sha256:06dd8a7f2bde702846c10ac918799d402ed66b2501a30e9e0ee7841c9a6cbcd1
results-80400-13
7.27 KB
sha256:f6311ed41e0e34030287568c3555b90722b6a744e95eba25a9c8f6893f2a7ffa
results-80400-14
8.15 KB
sha256:d2e76beb68db0a7e58bd7fa840351692119a6fa63764ff08e7d3bf7840fc7207
results-80400-15
7.09 KB
sha256:62e8738c651f8300250e40517e8b3d8d92002347b0bbc3514446b618e6312486
results-80400-16
7.87 KB
sha256:a567765270cc73f6d1b0804868491bf40180697f782c2ad700a11bad5ddecc88
results-80400-17
8.28 KB
sha256:8af81f544639c12338d5167323696b8411caadb158915f1008c87e2faf11ba71
results-80400-18
7.42 KB
sha256:9c581dd6acddaadcabbb74ef8b760184bc2f51e1e2b4d08f6d2613a95f008b56
results-80400-2
11.9 KB
sha256:f15f4ce27f64824e1e3f85bf0a2385828953081aac5dbcbe96e6a5ec2c504108
results-80400-3
7.04 KB
sha256:17004a5b87fac260d122801e91076042ddd641cd986db59b4d03bda4a49b0461
results-80400-4
6.64 KB
sha256:60098a1afea0e40fadfb3bc1c7eb2b0aecf10e685d8800480ada1ee5a27ea164
results-80400-5
7.54 KB
sha256:8a4d9af1cde1e06314231edb561da3b8d6f463591f9ab407e9ae6b141739d631
results-80400-6
7.91 KB
sha256:86637c9944f7255d1b0c3d874647070ad1b603809db7082d391c84c20a1478fb
results-80400-7
7.09 KB
sha256:d7df1dd00a0c8fdb42e57061f1026ce53e1d13e5d5ef3d01c422326c065f0c50
results-80400-8
7.65 KB
sha256:255cf16736c31ea81f044f019c47643936ff291f1017f8e458777ceec975fdfd
results-80400-9
7.44 KB
sha256:c3449674cd9707d623f8561e4028efa03d2768098eebc07d22431d11c2da7197
results-80500-1
832 Bytes
sha256:46bc975d8c210f777b713fe54228da82b4b04993044d5bdfde097c9e63c5eb6d
results-80500-10
524 Bytes
sha256:97c77ac17ab780441a419c827bce0b93712e2fba5a763162f5856354a28c2979
results-80500-2
498 Bytes
sha256:f29fa32391db63ddbfbad8f77402214f538dec81888cac851f5f03812be493b6
results-80500-3
475 Bytes
sha256:6c73947a806bdfd4d817d53a3c0da8c4dbd3d4ffe14ee9f4f94f33a72c331a13
results-80500-4
618 Bytes
sha256:d9f5fd2f1259673fb024887f6f3350d6273bf2e79792c4480b328249d17135f5
results-80500-5
480 Bytes
sha256:df72451c7288d46f0349163cfe86c50672f8a685a70e5b0ca71fba3be350b5a8
results-80500-6
608 Bytes
sha256:104e64a48c78656636b688e22f0bea3c1c8042f4211558a072c377cbf4315b0c
results-80500-7
480 Bytes
sha256:04983b79bd939f94075fd250827c20594c19c7b64f826954bfcfc0da0e64eb57
results-80500-8
740 Bytes
sha256:257b4c52c731d0f9cfe134edc45200664c50ca8cef8d518a3581023184795a32
results-80500-9
532 Bytes
sha256:00f2c2687e8cd9f37e069e3644da145c825b5cf18d50f0114d2bcf800e63d279