Skip to content

get rid of couple instanceof *Type checks in TypeCombinator #12472

get rid of couple instanceof *Type checks in TypeCombinator

get rid of couple instanceof *Type checks in TypeCombinator #12472

Triggered via pull request August 14, 2025 16:28
Status Success
Total duration 3m 6s
Artifacts 139

issue-bot.yml

on: pull_request
Download data
19s
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:039920b8b2aeb0dca54dac1f2411456eaeecc6fb92b1e2d236b7609b284e36a3
playground-cache
523 KB
sha256:474d44e884630dbfae6e5bd60d751ba7ab6655c02eb4935e99f58e1baf4961fa
results-70300-1
9.49 KB
sha256:323a4c8f7e55482457f0b20ab032527d0d90620d59ea7889feb4c609d433afec
results-70300-10
9.2 KB
sha256:95ed5ccde231cb8bc126d4e9eb8e5ec8412a4a0a947f74fb5e59f89d579b90af
results-70300-11
8.7 KB
sha256:3bead9ea628bd5516dc02937180631106fa11460021a2388967f4879db33adbc
results-70300-12
9.92 KB
sha256:1f76d1cde0721636a857d2b752c79778aed012c076824647145d72e7d223cbb0
results-70300-13
9.95 KB
sha256:dec3aa1207f22d7233b1e5e1e109ddc76c4bba43f04c2cdecc3079b6e129c6c5
results-70300-14
9.33 KB
sha256:220047a74d63af1bcb7fdf4830baf0766522f6033905a4f024e7d41f401dc0e5
results-70300-15
7.7 KB
sha256:445f188d65994a3c4332d8cb4ce77f255959f00a4e0d761dd581a5e2e4bb64f4
results-70300-16
8.44 KB
sha256:bc805ca5abee6ee623092118e4c235f7252b644c80d53bb66ae02a56a4cd048a
results-70300-17
9.51 KB
sha256:19340869b20e68a1985bdb5dd20b97fdea1333e58138fce53d86201c7cbc3737
results-70300-18
9 KB
sha256:7101cce10d1bc710b487ce91f34573a08f66f3d082f27f631ab63def03481411
results-70300-2
13.1 KB
sha256:9cb3cc85062a569d93de668eee1cd41b0b80bed34b96badc492a799b12e784d8
results-70300-3
7.87 KB
sha256:7345551c093319bf496ca373505be7a936925cc2fc0dcc3de7fd6990bcb7994e
results-70300-4
7.2 KB
sha256:ab4496b8000e0bab50efd68918dc17943e497649f0e47a07d848c141ab083de9
results-70300-5
8.29 KB
sha256:ca0889102ac6ff2827068b3a8a3562e1ccb77aa2e558406914623769ee52e73c
results-70300-6
8.67 KB
sha256:f35f536870e93cb0f543284119966424176e71fd6f47240b97c7128a121f4867
results-70300-7
7.51 KB
sha256:ff16fad976a455f22f1e8607141cbf6699c12fa5089ac6a6a028592284e2f8bf
results-70300-8
9.61 KB
sha256:2d255945468fa3552be4385877469dec61e684cd7c99a478117001f9f821baf1
results-70300-9
7.99 KB
sha256:8f19103ea4bdd91cd19126e96b52a0f6b4c6dc2525c5859203e339397875a7e0
results-70400-1
9.34 KB
sha256:4e81406d025ab1b7b138542bc191f2d0ab4daa5d1f426b556daeb89f197744ac
results-70400-10
9.17 KB
sha256:b4409dba80aa963d20e04890ad274b86b81631ba138727f4a9849822a56386ca
results-70400-11
8.7 KB
sha256:5fb27ebcdaaa45470cabeefc18c79b85b062b1aca53089e6694b0ec388f02c9f
results-70400-12
9.87 KB
sha256:aa2e78e65ae8ac71892f889efba454a561668f58f3f0c941ab6c266d27776b36
results-70400-13
9.96 KB
sha256:ffce71cd69c3af1bf90817cbf985daa8e701201bd0b613d7913381d98faac1e6
results-70400-14
9.33 KB
sha256:94e0352e16c4a68f60481fb27bbaedf3d777e2bd12052b4c89e2cb609d4a3b50
results-70400-15
7.7 KB
sha256:a9879f2105894e768a83249e6ada42d12b333b7c1978691ab1cd662d10a1cfb7
results-70400-16
8.44 KB
sha256:15c4db555ada1e3227bba364e75e1bb5921b61aceba1b7c6f1a1236ab81da4f7
results-70400-17
9.52 KB
sha256:752981ac8f3272a474608dd0f14d0e211c91e7e9edb9b97c7ab60452a1452d98
results-70400-18
9.01 KB
sha256:4df67390edc332accab69520b548c345b8d6ce410b0ecf1da9e192cb5359f155
results-70400-2
13 KB
sha256:b8a864ad60d21109181297d3b0ebdac774c0e6ac27394edbe15ef4164bb266fa
results-70400-3
7.76 KB
sha256:5f2b17008816fcf9008665c2f331d3d62dcedf660710ea6be37df2763fb19b47
results-70400-4
7.2 KB
sha256:f06eada002966b98f1f474e95caa73ca839b3f9022def070fd793cedcddaabd1
results-70400-5
8.29 KB
sha256:cc2a272ade29d7365bd277365cc2a501b4287d0baed44520cbbeb59937bd06de
results-70400-6
8.67 KB
sha256:48bcb4e1eda30593a07e9cf5a38cbe840c260a62771deac44caf64b35b670c82
results-70400-7
7.44 KB
sha256:daf43e14e51f5be4cba9d39bd6d5a230296ac2fadcf866de412b07a7157afd69
results-70400-8
9.57 KB
sha256:080a72b4072c94eda84e01cc25c7c1b1e0faacbbb764b39f25587abfff1887d6
results-70400-9
7.99 KB
sha256:9d45d93cc25f7d82bd1dac9b3306a16e69d9483320e6fe99bd27b3fdaf9047af
results-80000-1
7.16 KB
sha256:6759257abc0311b5bb231294f3c872eaca162dc154d5b60cde989a60d2db9112
results-80000-10
8.05 KB
sha256:fad388a27cd28d6a93feff952e3194028cf312bc5ab1928ff2e4030e98c8c817
results-80000-11
8.03 KB
sha256:939b232124f1e2694f28cdbaec23e91556fb61608cbc464fc1f44614b8ffcc7a
results-80000-12
8.17 KB
sha256:60abef84c0c64386fbb6c42657f55b026793038b682f4b540c9062e4a2141dca
results-80000-13
7.14 KB
sha256:55bbd98e16b09314336b476c1f9aa2ffcfd5f15c7750e414f02ab4684b0f6bbd
results-80000-14
8.12 KB
sha256:44f3f7592af68b740d6e8f1519451901ae17af1d672e4d620a5c98798c28e839
results-80000-15
7.09 KB
sha256:41953dcc998fb1c83d26a6e0bc4487eed3ba412b4e1551b731c56fe58094e719
results-80000-16
7.94 KB
sha256:65dcd39f58aed8184bddd366f78fe22e2a787c4569680b18ffed896028e92c4e
results-80000-17
8.56 KB
sha256:f374868004375195b0b432e98507cc60edbc94544512117c503032a8bbab05a0
results-80000-18
7.64 KB
sha256:835dfe5e621b0cefcf16f2cf5ec05183093f3f6648cf2f28b3cffd29645ef81a
results-80000-2
11.9 KB
sha256:909b287a8a41eea93a27ecebbfce25c53d6c6f77b4907baef8812ec972633f5a
results-80000-3
6.93 KB
sha256:e849595cd06e099c8e9b1201dbd76dbdc91ac731e7f2f22e3c77946509a4967c
results-80000-4
6.59 KB
sha256:9e2c582b722d603703d8c369e0a486decc89c9a8ff6e444e7bc6076312eb9f4c
results-80000-5
7.5 KB
sha256:39a347b425788a1f882a4cf092374e169a6fbed6c41ccfb16e03edb2ed7aec40
results-80000-6
7.98 KB
sha256:c1cad7b3b3a80eed040d78ff19d84cb8ebe4dc3996824c4d9ccb3e2c0f55de37
results-80000-7
7.15 KB
sha256:a59f84572a1e470b275066e48a638c9f043f178a6ca36014555a467d8d187f95
results-80000-8
7.42 KB
sha256:26b9a8a44d99dbaa3516e0c640dae00b8c0ee1322ecae2221db5bf216f34caf4
results-80000-9
7.29 KB
sha256:9e2877e12e2640670ed3c6b4149bbace9361947a96e87f33023d5b6ee8ad505a
results-80100-1
7.15 KB
sha256:3ea9c40d52a15cb96da65a072695038f3ceae481c4598c0d6a7e865495893413
results-80100-10
8 KB
sha256:cfd045ea4f08e8f7b7712cba09497efea47a4120337b5d8669a18b36ffb8f5bf
results-80100-11
8.6 KB
sha256:5498113c4c9da85c209bfaa20ca11eddbce3cbfa5ca976c1f6d4f2bebde39972
results-80100-12
8.06 KB
sha256:8f03a4591391ee6a5e8946ab20fcc7913bb5bf59bb22f98831ba09f1abf75131
results-80100-13
7.2 KB
sha256:4df69fac98a20113e6fbc691ad1704544d8590fa2d0ed774d4b93a4e624b1a9f
results-80100-14
8.05 KB
sha256:c8abaef9668fb8bab84c574c87ceab9fe7e844978e56e13f09a9e537aadeef45
results-80100-15
7.09 KB
sha256:1a035fec747dea5bdac7ef016089ca49c262faac29cfbd3d1e60036a987622a2
results-80100-16
7.91 KB
sha256:eac7f4d6c502154cc6f864e233c696cd9ae4866f7ece059357501d61aad87289
results-80100-17
8.73 KB
sha256:ba2009c6f731645b315cebfc69272147a6c98b7ecc1aabdcef09627a48a871d6
results-80100-18
7.62 KB
sha256:4872eb61e40d768cf768732e061a946d056acec01b191b7814ad0e12e1a470e7
results-80100-2
12 KB
sha256:ebaba919550153098651369a66b9284c46f2ee14f59293229efd4741ec384700
results-80100-3
6.96 KB
sha256:aa4d98a591c1addb909ad5070018078e3a6198fc8b96662d78e8a0da67d859aa
results-80100-4
6.6 KB
sha256:5e40d5d3323df88aca9f390aa7c940e749c52efd9b3e4a8374a59d980f43524d
results-80100-5
7.59 KB
sha256:02d71b0c16348042c331a1dea0846a8ddb91231fb625cab5f2b668a5b6dfd3ad
results-80100-6
7.89 KB
sha256:c90d039353141d6f41cab8d67a16ec08621f1dcf2d6a210f75ced3fbfc19a9bd
results-80100-7
7.03 KB
sha256:fda19fc8038d347c957eeb50950d9b1bed92a44d7da7a11b32f7e7240f4be23d
results-80100-8
7.98 KB
sha256:33ba4a0f31255da9f9184d98ff394d4e1c41145e23ba3e3431f04b04120bf727
results-80100-9
7.62 KB
sha256:3bb8f9f956848d20263cfea46aded6fa8f558b0f2e13a83574b576e9c1f574a0
results-80200-1
7.1 KB
sha256:72504b0025c7728fb46a2a1da8eeccfe5528430a5cbd678267194f299aea4e4f
results-80200-10
7.86 KB
sha256:5af70454b95fb6b95076582dde362204db33fabee5f3a60c8545ac6b0b7c2c73
results-80200-11
8.46 KB
sha256:d0394a97beaeb670f52b760e89ffabcfc51c02f3e3e43264de240b2e39c5506f
results-80200-12
8.1 KB
sha256:4c6642d8af149f98e07256814bdb90513a4f3c834a221880d724e311b22b01bf
results-80200-13
7.2 KB
sha256:68b440055355b5fafbeb5fcac6209bce2a1e6904418768b85f2c586e4dc748c8
results-80200-14
8.07 KB
sha256:0418136b11922dae08f50193ba588ee2d030eb95e59755d37488ff7ffb00e423
results-80200-15
7.09 KB
sha256:7704f4614a9b081c419dee3a9d0f49e4e971034cfb2e5e7fa6b07c026f7c0345
results-80200-16
7.92 KB
sha256:96c79de53c10afe305b9bdcf517199d3cea50264c79bade50c85cec885c41107
results-80200-17
8.64 KB
sha256:987f764f1a8520380256f37ad2242341f1d6e01ffee12c7d88041f6c6318b086
results-80200-18
7.49 KB
sha256:d3537d7be725059d4eefa9289b63b1336d9afd1a71febde5b9cd31da540f2abc
results-80200-2
12 KB
sha256:156fe7397ef3cd7e3e273e4aeef80f5b5fb0e6f18e5d6922de7a9ae6d81fad9f
results-80200-3
6.96 KB
sha256:24a4a5c9a0ffde47e6d889f00beca96eba49b613173527403177c0d7e7808eaa
results-80200-4
6.64 KB
sha256:c01f89f53fd23d57763a190c5673527021255e48df5bc3f620d49aa41fb40dc5
results-80200-5
7.55 KB
sha256:a8180970ce2df7802aa82e707a3ff9382e07680a38afc59e7f8fcff2a7e65ee8
results-80200-6
7.91 KB
sha256:638d63a0b0ca30238afbb6da303a656a86b4e054b4777141f85b94a11683c034
results-80200-7
7.09 KB
sha256:281a930c629899cb6b0e3addc5a0db7f0317712be22baf781c0ec8e51b1faa60
results-80200-8
7.7 KB
sha256:12452447d7ba5c8e30bae5fad3f44f8b5dfd2cbf33a71959b4a846af08881424
results-80200-9
7.5 KB
sha256:485f05114f891686c83838b47711ae74b73988162d5843dd27863f6ac354ec63
results-80300-1
7.01 KB
sha256:2feec6c6fd4c19302d40d12f3321b99a051e3b9a3d77fdb01065857e18d67809
results-80300-10
7.8 KB
sha256:270cca63b030266ee19e5daac93c87305c78f54fbca343e14d244c6b8e37df42
results-80300-11
8.46 KB
sha256:cfa99168c7c76e1962da81bd1f5cdb9e4aff9cd451a5007909f1b10736a5a148
results-80300-12
7.99 KB
sha256:169968d38a188c2f5262f64b5ac8344efaac1b5a06b40c55b52c243f2e385c3a
results-80300-13
7.21 KB
sha256:17ad18948d09e150bde69fcebc613624b1fa475172b31a31d928fd0a76e09471
results-80300-14
8.07 KB
sha256:743dd7279e71b2a39493b1a1ff10a4e82498f3be1fad2483312759618a2d0428
results-80300-15
7.09 KB
sha256:d360cd3f52f52a1053ff65618a1964668e9675a23da4655578b800128d752544
results-80300-16
7.92 KB
sha256:1b9c40e6bf430f844575ccd6550d25cb45b3059af6bceda8da354e593cfa99a0
results-80300-17
8.4 KB
sha256:ec756452ff92acb7c6245e65cada43a08c80d523535d7d2870ab67546290bada
results-80300-18
7.49 KB
sha256:37af6276f5083f6c8d904829e8e62bae35c51a2d0be6a4a37e2bb8940405b4d6
results-80300-2
11.9 KB
sha256:a7ab5e4023de92bea4d22cc8d0041c2c85f42bd6f1b7177a5f870b738137dda8
results-80300-3
6.96 KB
sha256:396d14cd2548c434ed64e100ebab5cbdd9993c9656bfeeef493fc03a0c8d0a1d
results-80300-4
6.64 KB
sha256:f690eef3b0f07308c822e11eaaf9b065ff1568619ae97da01b8ffcbd09fd638f
results-80300-5
7.55 KB
sha256:a514ece7105dfd2cffb3bb723dff8ba314944e1e74c7587230a03a8c93d142f4
results-80300-6
7.91 KB
sha256:d52678889faa9987beabe48f35447c6ba8cc99c0d931a82652dccf8788dfdf48
results-80300-7
7.09 KB
sha256:5198f983af0523aacb92b68a53b2a710d9e2154c69de00b30e5625c92c5cea2b
results-80300-8
7.7 KB
sha256:7d2efdc7e10b6eb021bf1373e9c183c5eb679978ef235584463243753be46d42
results-80300-9
7.44 KB
sha256:cf2bf05c11bb166a0519956b7d5e510368f61e285dec75ae273ea65a836e8fcd
results-80400-1
6.96 KB
sha256:2d87a2384eb78bc26ef107ba38d5c823ff7ff2bf434d8d20c3b521db4427154b
results-80400-10
7.8 KB
sha256:8e690eace7f2230543357a7a14b78dc0380d3575f190ae9e16750f64d23a46da
results-80400-11
8.43 KB
sha256:f36a73f125364a6a38f1701442c6b887d795d18725ffa9de0d1d7836feb1b25e
results-80400-12
7.97 KB
sha256:e148b5d1c94847c44644e7dc384658762fda32fce15750c273026e7176894be1
results-80400-13
7.29 KB
sha256:e73f7c2b8ff76bbf5c96924b4d681127b8f1b5270d802be8c5c1c85a05cb49f7
results-80400-14
8.16 KB
sha256:110108e3b9a88f31ddb968a3262f297bd78687cb05b000f268361e8a77cab1c6
results-80400-15
7.09 KB
sha256:bacd3bfb1c187e845159bdc412ab618d11bfbbae1045e4986d390397bda9950a
results-80400-16
7.87 KB
sha256:1a5357b269e8153bb8fd54cdb959f2dc036d995de4e892e6c2358323418b8587
results-80400-17
8.28 KB
sha256:9d0da60778e27a861501550412a60ea44e5cada4ccf64d4ba7f2e2a9c5600d4b
results-80400-18
7.49 KB
sha256:85c96c2d7c542e76daa8f62af6f31e020c58ad69fb618c9c3a699d3c3afbdf83
results-80400-2
11.9 KB
sha256:edf1ecfbd2ca4a122cb14e9304e2a6142d8c91c2f8799aa55a36edcbc1669195
results-80400-3
7.04 KB
sha256:066a22ba68c6528fdfb8d293b6067dbdbdc0e473901f776baf70c0d1f6feb4f8
results-80400-4
6.64 KB
sha256:4fdca31b4d7917a297cefbd128d49fcfab74b43e57ea4b2d69a3d4e4adc64b1f
results-80400-5
7.54 KB
sha256:d33186397d5e0e08e17578b435f4182d7cbacc2dc0d3b30f8b185cc15e27b312
results-80400-6
7.91 KB
sha256:f0c62bcf7cc4fc0d6e0ee646d7c0895ba9b4627747fa35e1929dd55e27adc0ba
results-80400-7
7.09 KB
sha256:c33dee6ff658f35214b7e6b90395051d1e18e0d9c58f80b2d29c673ca4ed9c79
results-80400-8
7.66 KB
sha256:52fc20374b509ac4edda205b7264522add1552d677af29e71694e8508e2c797f
results-80400-9
7.44 KB
sha256:235b15959799a629fdcfedd5aa6848caf5f3126b62794f8d9ada1c8c4ff7e945
results-80500-1
832 Bytes
sha256:4cf05640fcc6070c52657d670db75fc30d56938355d1fe7c1f52803d83ddbe9c
results-80500-10
555 Bytes
sha256:ebe19fb34387bf48ad47cccf7b6528ee660385b4f7e96c8185320174308acf52
results-80500-11
318 Bytes
sha256:ade9e7902107a0b7e0c88f5c6b1d035bcd3c7b8fc7a2128e039ef78339d12f9b
results-80500-2
498 Bytes
sha256:949a9ccbda21134c8858e4c8b67a6c86a8a7821ea207c8ab9ed8b3d52f04e630
results-80500-3
475 Bytes
sha256:6b07fdea9d662ee273344df33d7ae56ea4eacfb392f1f8474d4e5e88d32282bc
results-80500-4
618 Bytes
sha256:c6e646de19253221fda84a42e121aa7ddaad4bf31bdea1c18262cf28559dc1a0
results-80500-5
480 Bytes
sha256:c1000373f6ba16682cd22e7d7fcae65c3ceda5e1b902c993a726e550a80935a1
results-80500-6
608 Bytes
sha256:9bbc057b9818f821ab831d4ea1730bcbcafdbc1b7516647e15c5a0d11e997222
results-80500-7
480 Bytes
sha256:061a1f961b6b7d434cd5db2acd93a19f5d86fd28d00c8b348a047b8bd1089b3b
results-80500-8
740 Bytes
sha256:568269401aacdba1537d0ed1411d8eebd90116ed64e92a0ee720de7c2cbe1898
results-80500-9
532 Bytes
sha256:508cceea089eb51da44eb6ee4a1f7267124ed212e1f15b463c104c4d27291dff