Skip to content

Fix ImpossibleInstanceOfRule #12607

Fix ImpossibleInstanceOfRule

Fix ImpossibleInstanceOfRule #12607

Triggered via pull request August 30, 2025 09:18
Status Success
Total duration 3m 11s
Artifacts 145

issue-bot.yml

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

Artifacts

Produced during runtime
Name Size Digest
issue-cache
588 KB
sha256:807d064ce0f885d167f88da026d0214444cb08b24c1f535d731fcd4fe53f5ade
playground-cache
533 KB
sha256:e99dc146506d26b5a1f9c60cdbda089d9daf689f3fb1150d6a79cc77828c5f4d
results-70300-1
9.52 KB
sha256:07915b4c18beb871051ce74a94785c3a140b42e6f53bd1d076fd6f2b8fcd45b5
results-70300-10
9.12 KB
sha256:b7875ef50ebe7f1ee2dcd2f61c35821f390bbc5c4583e7933f2e066075f5b412
results-70300-11
8.96 KB
sha256:b533a4a742a42c0a1c027d2bd2cd17f0917bbd88868944a53c7c1ba9ae3b6d14
results-70300-12
9.95 KB
sha256:6a15007cd4d596808722f7edf6560a50769df5209f660caa84485730f40091f5
results-70300-13
10.3 KB
sha256:15da45730cc30407c952313a1434e4bf10fbf30af081e8ee259e916061af7e02
results-70300-14
9.06 KB
sha256:a078d767b74559b18f856b111de2cf1afd5cfde921921ff3869c039bba049df1
results-70300-15
6.87 KB
sha256:949d56233c33e463d5b041b1cc986997f77ffb56445abafc3191b966c4201cdd
results-70300-16
8.88 KB
sha256:e4e7cdb559e4c6e627e7ea1d4563d6ee854b438e5c6c0c60b3d6473b2229b070
results-70300-17
9.69 KB
sha256:d5aaa46c97b4e366e7c85d1d3f867578a21386a808aa16d8d43d54350ec5d4c9
results-70300-18
9.22 KB
sha256:c5efed5044f8f52543ada436da266a825b541d7e1518a1d09c88d79453d36e0b
results-70300-2
13.4 KB
sha256:ecbfab7601efc6472f62e08bf7ed1da6d197b14a09cd5223d4554dd27ce4f481
results-70300-3
7.87 KB
sha256:e8e3af98cebed83219a97bb7c858bc19cf215343e4d3ba6352399bba9076ca85
results-70300-4
7.28 KB
sha256:6040f9e6cf7eceb50380e5604677ad82a8c1bc5f23cdbd850f30eae3e52d5a84
results-70300-5
8.41 KB
sha256:ee06f084799d617bdf27162194092cdd994ce6510fbc975f72cdca70e8e4910d
results-70300-6
8.81 KB
sha256:fc25fe5eecf05d5ca38bc318e0766ef01c9e0c3e59f0327df70d7a0fc261018e
results-70300-7
7.42 KB
sha256:28c490314bac07b61625f740c2618206b52249131436c63645553983281964cc
results-70300-8
9.73 KB
sha256:ce22d120ea8e90102920f3ad1ffeb7d3c29ca77a711d5f6f9037f55df7abef70
results-70300-9
8.19 KB
sha256:cd8b0495fd566709fc6f35c164c06e5b2ff0e320f7846aebefcadfdc5212cc89
results-70400-1
9.37 KB
sha256:bd533e7a68b72e5aa219b58b5e8e20c99362ec9b8cb033e674f4d892f7b4fe77
results-70400-10
9.09 KB
sha256:d6360737893e83d8d6e54b3bef2fe8a262bfdeabb675a308d269f874d678d762
results-70400-11
8.9 KB
sha256:de3eb8c46d294f2771e84bf7ac1621022cda26ff1a1c6b39b7c83e76d7675ffd
results-70400-12
9.96 KB
sha256:3eaafe7a7b88471279d0304c67a3ae7fb830f50e038da80e94fbd39d5590a669
results-70400-13
10.4 KB
sha256:e733eb8f222372d7cb75260d7e3bdeaf9a046644019dfed662812651da37b2a0
results-70400-14
9.06 KB
sha256:d736ec91050733422b3880717353b2bc2f4e1f26195689d2b75ee78c9a460df8
results-70400-15
6.87 KB
sha256:7dfe13d0316b3b5546cea7d8aa527759db658d64275009a1591f57028ff80f3b
results-70400-16
8.88 KB
sha256:2c9b49c80033091bd953d7992e84c318bc76f9c93f9c08df48db4fa517cf6a2a
results-70400-17
9.7 KB
sha256:94e8d7a093ff1e533df2e211974b7f8253e007c281167e97d7fdabea9f1eb545
results-70400-18
9.22 KB
sha256:c36b99c0be557b0098bbe25c14dd78b2112ebdbbe7dff4d93878d40c2abfe2db
results-70400-2
13.2 KB
sha256:f2d7ee1b557e2e4fd7acd1dc446b74a42100b65e0ac9ca854fc81ece445e1380
results-70400-3
7.79 KB
sha256:3e9cc554169db6b2aa06c3d73848f02af655f03c2c033410005c6caaab092100
results-70400-4
7.28 KB
sha256:287aa04446cb54e85c18524b18b1d1961170618b7d50f5700d050c8a7b3c084d
results-70400-5
8.41 KB
sha256:cb458c2859c74cad5deb2261db5f02a8c600ed95a6c34af162a082664240189c
results-70400-6
8.81 KB
sha256:daf5237100fdf0c4746e192b0eee2b91cd475ddf32b596cd60c42943a1b6789e
results-70400-7
7.35 KB
sha256:a0ae42d5956b2c519675c887813f90733476773922afc2ff58a801c2cd1dc517
results-70400-8
9.69 KB
sha256:14b34bccc73e6ac931cd4b01dcdf3e2326072b3cdbfc0a44faf7d629b4c35522
results-70400-9
8.19 KB
sha256:15242bff4f71d590f405fdbaef25609a1f9efd8dec90e645b4fbe3749230978d
results-80000-1
7.19 KB
sha256:9c720b89bd283b856cf370acb7fbd422cbb5bdfc8d74240da97bef512d92c12a
results-80000-10
7.8 KB
sha256:e7c1009074e990bbcd654377fb5057b412e2fc33ecfcf3a6c056a56cdfdc32d0
results-80000-11
7.94 KB
sha256:16e8a7ba393d73df1ba18a767b8d6c0d8b823fcff7b58657e569429568e25e8d
results-80000-12
8 KB
sha256:12eb5c521f686df4b19c4bdc925f0ce611ff7fee55444c9c964b7255d2529475
results-80000-13
7.96 KB
sha256:f88a74914f857e13aac1d60587e43751efcdf642f453a146ce6ab953a29a31f3
results-80000-14
7.87 KB
sha256:45d88cc6ef8c7b35d9c28abf7b34044fe36c14cba9b05626aadeb85478ca4893
results-80000-15
6.58 KB
sha256:4eef24a0f6a452e48784f785396b86f82a2e43ad8e8fc8fa993294f1ff742469
results-80000-16
8.31 KB
sha256:a46c043173f61e6b912efc31caf8be16a50025bc0d13e03b5171a05c58d05c5f
results-80000-17
8.67 KB
sha256:447f10ad94b910547705571848df067fdfa3c672794d87ceea0e6d9acb0547e9
results-80000-18
7.91 KB
sha256:a95f10a65cd4a448a4ab7c396295eca94f6f8c36422b0c9e58e02424780138ed
results-80000-2
12.1 KB
sha256:21925b862566001a4d5bcc4376c6a7bc1b209b2e927297cb755604b7e03cd51f
results-80000-3
6.99 KB
sha256:590fe6876e6157198170c7048d0d2d26a1be39e1a3e0007ae473dfce1841b9dc
results-80000-4
6.61 KB
sha256:45cf57b035d1353f139fe4a8ee6f39ddd7ee355c406a74fa74e5d947a54530cc
results-80000-5
7.63 KB
sha256:7a59c63f41c246abe9162802549d32401de99b42e0dc7bbb5c44213afaf53cae
results-80000-6
8.13 KB
sha256:54b4c8f8a64ce006253f3abac128c577a0c2a542cf64a1cf511e609b238255ac
results-80000-7
7.06 KB
sha256:ef9fb12f9046929a38ad59c4eb4ec1e2f6c9cec2961a80706cd79670fef96b57
results-80000-8
7.46 KB
sha256:2d475eb6d0433a50b2002af0d8933a968a3ce1e5f3237e1178757742dc5da7c9
results-80000-9
7.59 KB
sha256:b222251146c0e2084ee99c8450da80039454c78bb438e0f5c8c57feff4188a40
results-80100-1
7.17 KB
sha256:1e4678a89936d922c9fb3b727911dfcc12095e454233ea0cb0cdcf7f1b179a93
results-80100-10
8.08 KB
sha256:30858d37aa5284d89fe22c13fe1a0bc1cddcb1c63c08ff7ba22202c1424eb00d
results-80100-11
8.14 KB
sha256:12925d2f0df44038f34788b3b4a94f319c744e4e3603bbf62492617810701ba3
results-80100-12
8.15 KB
sha256:a543a6ef95783eb85d461f54032fa4905b29c8943e7eab8a1c424827f9431906
results-80100-13
7.81 KB
sha256:b92e20fce40068dc996f8edea6880884d31e6353e07c19831753474cdc978fca
results-80100-14
7.9 KB
sha256:fc9102a1414c62f82dd4ce26034b1561f1c319d8cc4de58f6274ab0a98aabc8e
results-80100-15
6.58 KB
sha256:8bec03d24540ff7335dc26ade8a3125f0ff7e2bb982a47bfcb1355a73ce398ed
results-80100-16
8.39 KB
sha256:1b4316a10377fb24b309d209215fad5c5f879ea945c760fe09c607a25c128d77
results-80100-17
8.59 KB
sha256:2b1c9b7b7d8f8cfe8933c800f01699f6a06c1a4f004fe93525034b8fcbecc8cb
results-80100-18
8.55 KB
sha256:5997db0f7b88d92294860dda5138e6148e3d098ca438c332ef30864a27ecf0de
results-80100-2
12.2 KB
sha256:48109dd1075b31afc05482b57914b739475e3b88f6da62262dcd096baa8a1a96
results-80100-3
7.02 KB
sha256:560a2081b003cad30db9f445004a220f9dc4135a8c3af20c7f2e40a6e7f505fb
results-80100-4
6.62 KB
sha256:842e573159e012c93342ee993218d39037d391816d0c2aae593d357fed146c44
results-80100-5
7.68 KB
sha256:2ae33d20f321eb456f88efa7d47eec19860154da0f2d856dcdbf87b2c7c19644
results-80100-6
8.04 KB
sha256:6fe3b3d004e6dbe6bf72245550093832b4a180f7ae767785cca0e28d580377cf
results-80100-7
6.94 KB
sha256:3ba20e80c06cb6460fb1e5038daccde9485ae06735b722395f2a056333a7a256
results-80100-8
8.02 KB
sha256:783b03cf729648319ae996a51aae3020c346895113f14cef5d344e7d4d66d181
results-80100-9
7.98 KB
sha256:4527a9083e9cd8e391685bb44f4337b2e126344d06ae9a13de709b89db52f51d
results-80200-1
7.13 KB
sha256:362ec5431294ce2816a52de34344e8064fc5e4a805eeffc838436417744f5939
results-80200-10
7.92 KB
sha256:c1eee3174c77d7b5e232aac5f5fa626369eaf536ccce351823495f9bef5146e6
results-80200-11
8.12 KB
sha256:2cbd3b72bd223626a2af64ab550a6ea5f0604e00f7488b0ec599fb96acd5b7cb
results-80200-12
8.2 KB
sha256:8e2031759d2c45a33a7c3c48d83c0c9e96dae50954c59689de6a0d59a438e097
results-80200-13
7.81 KB
sha256:53c82a9f0f1cc26de1c6515715265d9162202cf7b9d2d97d33a6276103e653b3
results-80200-14
7.92 KB
sha256:4cad9495a5bc5ea2f1402bf1eb0ef867cfa0247a5752e06ac79ed0efc27e6982
results-80200-15
6.58 KB
sha256:577e836671eb251aae6db19de60e8c9ab2cafd1666b5ac0c14ede94115c15470
results-80200-16
8.36 KB
sha256:8fca43e620291307ac3abfa0d40dd3b660f309db8b9f1d1ab9f7fb5b793ed2a3
results-80200-17
8.48 KB
sha256:49ad731b19a468f5e3c49b3451c07c0751a41f2a2a425be5d78aac336f13d928
results-80200-18
8.3 KB
sha256:796587a2a8d49fbeb9ab2ad40a574faffac6750b36e9e14353139a1c6b9ddc51
results-80200-2
12.2 KB
sha256:aff10dcc79b4790e331fa36011e476b2f1123202473833ff5eb5114cd2e866ef
results-80200-3
7.02 KB
sha256:8981d16787b9477a2c1e376435f35090c5b4173a5a1f6c23c649e416a0fe2106
results-80200-4
6.66 KB
sha256:d4f2314fe0ebae45886b8ed08f285d9c33fb4bc4eacb37deb80535cf6e0de3f0
results-80200-5
7.64 KB
sha256:8393ff3b2bc8d4fe06f18e44a014062cccf57b42fc6f309d655659fdddfc9766
results-80200-6
8.06 KB
sha256:14cf74ec31539f11a9454a2bd230ea475b659ccebf727b35cb32d804fe19aee9
results-80200-7
6.99 KB
sha256:bc1f25fba025798f9e64bb72e47c0326f7dda125740a62001c29760b600bd895
results-80200-8
7.74 KB
sha256:b40ab354af9680bb9d93a4368dd8605e9068fd8ffb35960ab6f1611b7c9643b1
results-80200-9
7.88 KB
sha256:553de3d36605d9938678e266ee0ddecfe9b0ed55bf9b329db9c3a4476bde1d84
results-80300-1
7.03 KB
sha256:692cc362f584bb720896ef0ccaf419627773cfa5a8a40462a67495354abcac78
results-80300-10
7.86 KB
sha256:c86a30db048833c8900a8992696e022b57342acc434e620dc050f559c6ae9d50
results-80300-11
8.12 KB
sha256:97db58915ccf1031e7530d2d8b822155b78d044bc83ffdf4bbead695985b58b9
results-80300-12
8.1 KB
sha256:505d7c60a717666c88c8e4bdad99c92905a683ade51c06c2ca7c79429e5c661b
results-80300-13
7.81 KB
sha256:0e508195d86effdcfb3366284997f09d77300528dbaf1e40cbb68a0e3c28bb7d
results-80300-14
7.92 KB
sha256:7d01f1b13f23d39fc3a413b7fa91405422a95602dad07abe371624f07cdc2ae3
results-80300-15
6.58 KB
sha256:74f2f166bc0c5acca73f90c1386221a077ffccf230b3ba64ee5751aa05d82e69
results-80300-16
8.29 KB
sha256:a070e9271dce979425628d6b3b1e3dc5597ec9e4dd28019c4c8bbbc2c2ae132a
results-80300-17
8.32 KB
sha256:06e8af013119a5bff47d52aa9f835b4561a8072ddb719671d5f09e0db100a79e
results-80300-18
8.22 KB
sha256:2ae9532c176e3afcd69f54f23e85296b43033c638b8f802dba1082f3593874b1
results-80300-2
12.1 KB
sha256:4336d18f699494a6ec28403ea279b641db6b71506cdf34b3c0db4906d39d8362
results-80300-3
7.02 KB
sha256:8b3181299b9c2739e7aee29ab7bc72447499c0307d3923c218252b8159c421d8
results-80300-4
6.66 KB
sha256:f5aefad65eb5645f31a49c27c9fdf2393f3cb0863b17916e326e25de0a74e6ea
results-80300-5
7.64 KB
sha256:8a554ef60f7c441b052e7070fd9f28479f18790747b2b0d923813ed222a1f05f
results-80300-6
8.06 KB
sha256:6442e3f7fe0f5981d71d33779a80b501281dd0c16c78f56b61437d2adc5adf33
results-80300-7
6.99 KB
sha256:fb7d6311114ded25a8b5a5fe2f8e2ee11e85578008ef6e663574249c16250d4c
results-80300-8
7.74 KB
sha256:88d8ed774e47d879f0ca03ca5c12245f55a9c85dd79c717345c464e8a4c2fc22
results-80300-9
7.82 KB
sha256:affdc6a626352f2a87e62579eb30e0a6d394b0ba5377409dd2ad5e8d0efc2c24
results-80400-1
6.98 KB
sha256:0c1ec3a8312f31e36c3dd55917ef7e3d3bed790a4f6756628e67380c1fa3851c
results-80400-10
7.86 KB
sha256:91bee48516871e16d375efa1298073a2d81a517a7105991f6188d8b9b436dda9
results-80400-11
8.09 KB
sha256:c9afd4eefb84f36b88e750762d1820cd56907155e10b3f86a9fc30fde77705af
results-80400-12
8.11 KB
sha256:c4708662fee586091153657f1aa1ae2054adb431bb1a8f4b617b3243cb7dca13
results-80400-13
7.93 KB
sha256:cbaff3971b3e0beeefe95f8e8b82866559d5fdec57cf1c08f75b2d0b995c8aab
results-80400-14
7.92 KB
sha256:f37c71799ca9ef1295a16af461ef81803bb00c932b6b27e0acb0fbb6e19f93fb
results-80400-15
6.58 KB
sha256:4888bc2b81811011879d909973ad6fdcebcf3e3303694abda3fc6e2d712880a2
results-80400-16
8.24 KB
sha256:2471c2e3d176d39555261b0bee48c60cf94b916d22fb8ad6c03d21e113abc9ee
results-80400-17
8.22 KB
sha256:0ee11c52afdf01cf9a2bf5fe638f9a1eca398aa30eee8f42d90b8b0b1f15fd48
results-80400-18
8.22 KB
sha256:0d74d02ad6ba1d5276059eeb10f547e56e682aeb6506fc62f8050f73219b699e
results-80400-2
12.1 KB
sha256:b86775f5463ce02d5270b9878f773d1d54bbacc2bf9284fa65dbc5ff5ef40451
results-80400-3
7.09 KB
sha256:2f7231cecd4297cb5c4c6c6e4dc299e7e68a5d265cea883d3e1beb590727a34b
results-80400-4
6.66 KB
sha256:5a891a35e61a202e000b18e5ac38bc0c696291b214d7400361fe9368c3546e89
results-80400-5
7.63 KB
sha256:13a18fe9fb3d9dbea6d2ac88e0974cad01b7aacec48e0317e93777a25e7ef00c
results-80400-6
8.06 KB
sha256:79f161b6332498dcc495adb4fceec8eac86ff3e9ccf035606c0a45ab35422ed0
results-80400-7
6.99 KB
sha256:9e0a7ddb5a17d8f2840d4899c0ee09c2e3b112eb73dbda892fceed43674cc009
results-80400-8
7.7 KB
sha256:41e8f83e85aec57abd5130939d8189c0e253d23e561354665f37424bdff94470
results-80400-9
7.82 KB
sha256:d93c96570d9d702cb4e1bd3589d43b6b78ae5ea139b922ae2568f67e9b3c151a
results-80500-1
832 Bytes
sha256:70098c612a932d837bc7bee388792ee8ec9dacb91703d4805a0f62a4f311dda0
results-80500-10
555 Bytes
sha256:478febfaf5d4af8ba62e7ea0203ecb9e2e559b99dbc5ef2a2b3e277a6fd1c4ab
results-80500-11
344 Bytes
sha256:f6a2edcfcc341b173af56fdec7dbfdc536cb3e96c02c1672069ce77d416719ec
results-80500-12
636 Bytes
sha256:ee3f20949dcd90601763267f922c3bf9f12c6cea43565a62d3dcc858158538c5
results-80500-13
524 Bytes
sha256:43e8d7491e882fb01b8450af0804aad2c78aa5e9a7f2f01e7135c8496a0878cd
results-80500-14
514 Bytes
sha256:08ec9880f106dccc9de78e05985b5b6e283fd43ef7b1e0958175241b8b288fcf
results-80500-15
546 Bytes
sha256:4912b92151e3870de250bdb685f2050a4194223bd33f7c7060a83ac242811e96
results-80500-16
541 Bytes
sha256:718f7b5785e0a2d69356a2d37041160a9064c913910232ea4dc6b0473cc83278
results-80500-17
560 Bytes
sha256:d6f8bac82c6508d0e2dea7048435358f67f9f72a84343693cbc587330b8c2716
results-80500-2
498 Bytes
sha256:46f88b7816d804446aea3036a4b0538a361397a1222b50d799615c709e2c3ae3
results-80500-3
475 Bytes
sha256:5cb5f1e7a9bd748812bc8beacb87fc920f26b055631020bf95f88b30752627e1
results-80500-4
618 Bytes
sha256:b2b941c7bd2d69f151fdbcd53a86eedd305578751b3b28b94f866f4ef96547d4
results-80500-5
480 Bytes
sha256:79830ec53b3c11cf1818e9472570f7a1976bd2278b63bc9bddfe7e160522c9cd
results-80500-6
608 Bytes
sha256:2a68e14ff9a0bd6d4fb93660523f6f9455abdf78fde2968b0382466dd95d3b73
results-80500-7
480 Bytes
sha256:9f2053db53017dec0352cc3febbd21a3a5e88b418dc69e3a9a024bf31d211ae6
results-80500-8
740 Bytes
sha256:8f845f476a648991a99eb2bdc677498e737bc126750b52719f5f77568e84d1bf
results-80500-9
532 Bytes
sha256:397d1bd880103049ec5a540df45bb446f2ef2dd7d414d3fcd1f123fed4c90a7d