Skip to content

Improve TypeCombinator::unionWithSubtractedType #12734

Improve TypeCombinator::unionWithSubtractedType

Improve TypeCombinator::unionWithSubtractedType #12734

Triggered via pull request September 2, 2025 10:25
Status Success
Total duration 3m 58s
Artifacts 145

issue-bot.yml

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

Artifacts

Produced during runtime
Name Size Digest
issue-cache
586 KB
sha256:8d8f5a2606fd981c73906b4bf7778ff84adf27b2f96b5cfe40fd9dc1c8cc259d
playground-cache
543 KB
sha256:ba1d5684268a31e47fbae8ae33ba767a89402821ccfa564d87af4be0df857ccc
results-70300-1
9.61 KB
sha256:a8e5b7d24448166865a45bf05f9079c19615ed865eb6fb615d3ddbbd0f7e6a5f
results-70300-10
9.06 KB
sha256:231c37b102b6c4b13f510baa912b56741fb5edd524596fe4b7dfeefe624db854
results-70300-11
10.1 KB
sha256:2842ecb28bcf9ede2fee52ac3f02c680ea646386810f0680f91e43f06d78a6bf
results-70300-12
9.76 KB
sha256:99876291a5486199009ac1d4de1789ce8506a16fe29702c26240393d03001691
results-70300-13
9.94 KB
sha256:d1d90ecc56353df3eac3bbdeff5b0a9f87431e4bcdb6cee8acc7760c3496df71
results-70300-14
7.85 KB
sha256:589ee500572bdbe11edfd9b552c97eed72d06dca5a64bd7dc41021bf29a0e5f0
results-70300-15
8.43 KB
sha256:2c2325dff57e9a174861878a25524b2519482aaf33aa9e6e17fca456f6e0a663
results-70300-16
10 KB
sha256:dc2948105cac9f8816beaf845b59932442a860deac300411e62e721baf842457
results-70300-17
9.51 KB
sha256:6acd315082623ef9d61b9bc5127a7641c9b73d6eaeaf99e5f6ad15f21e7721ad
results-70300-18
7.94 KB
sha256:8cdb7378d6ac8b9eb8e9156d6db31e0c05450c57f7b17bcf2fa91a8e98606ea9
results-70300-2
13.7 KB
sha256:4d7ff8acbdced0172fb993046aacc397f85a8f779bb92cd23fd4507eec35d3b3
results-70300-3
7.72 KB
sha256:be5de72ed26bd46c18c5533f0c3eb786713b68e03d6f7a9b4c9bd6e60a940a7b
results-70300-4
7.42 KB
sha256:81938b75bbbbee6552cf7f84e6657bd35d9d68f43cd4739c7037e051e875320d
results-70300-5
8.47 KB
sha256:b55577d41b03e5c01110f5a330decae803789cecd116ac29a22d039fd07e5743
results-70300-6
9.11 KB
sha256:650a38f1b2a128ed778e034242918f245708fd9c95d3fff1cc8102c6dd45343b
results-70300-7
7.69 KB
sha256:c74e87127d622eda91fd37ebe2e5769b587cbee2c6268e17dfcae6e3194b63be
results-70300-8
9.37 KB
sha256:c7b8ac8b4de5a6f9b6b2bef2ed775a58e1da22ae98d3ddd22eb3973f02ccb5c5
results-70300-9
8.71 KB
sha256:aaff8d99672fb3582f84641a6445dd97d6f125a0a3aaa01cf286f26ec26b20b9
results-70400-1
9.46 KB
sha256:9533e16a94c23fe917b8e716664cfe84b405c7baacfb09845221c95e2386653d
results-70400-10
9.01 KB
sha256:998e46aa52646af10913ce8545d3b1c17780aafabdf1a95230395a1a5f9bd26d
results-70400-11
9.99 KB
sha256:dbfc934238700a5a3e4d7dbbbab66190328c6bf046f5c6d235fe0ae1c2e5e247
results-70400-12
9.78 KB
sha256:b07159eef639f38ff1d6887fda69a37d70d31b34c7b4f1290e3d15ba511e625a
results-70400-13
9.94 KB
sha256:0ecb2407b84c58f70843a35ed81136eb18096f49e814924a1b94f8ae74085cfb
results-70400-14
7.85 KB
sha256:bc6b6bd492bf4132eb0d7c4d044f12a62a14d92754357c8dd3e24f7cfdfd2d40
results-70400-15
8.43 KB
sha256:7e4e6bdd29fa6a42a9758c8d7798eebcd7d02e25e0394a28fe3bbec5e4baea5a
results-70400-16
10 KB
sha256:6c9294b4fe3b58b607cb0d54b3109e3e1eb4284867d8564d7138c5b26d79b127
results-70400-17
9.52 KB
sha256:123cc2d608b777d04ed00b1a13ee0233acb0d91b9914357cfc4e556af1906489
results-70400-18
7.94 KB
sha256:08a958b2a93cec64dc91ef4414138536c793a27c732859ce71126782699d188c
results-70400-2
13.5 KB
sha256:d114545d30f4e1e760b0d2df5ab9d6dec984bd26faa347513ffba28b7a25598c
results-70400-3
7.64 KB
sha256:671c8ed589635521c141319bd7821528bd6fffb059a2ea3e99ecd32075f95a44
results-70400-4
7.42 KB
sha256:25e5e93f5e3fba02b7e67fcea3a4c06621ff8153b97d8e53c88771e326a8481e
results-70400-5
8.47 KB
sha256:0316521da34522124f11bc9702ac17ee10ae9809c87e0ac94b7ca075273e146f
results-70400-6
9.11 KB
sha256:f8034119a0f95f8268889cc969fc4531dde91301180eb43563d821efe2196e8d
results-70400-7
7.57 KB
sha256:648a506d8452c10fe276464f1f271ef0135bbada73387fcd7cc78b9033ed11be
results-70400-8
9.38 KB
sha256:63e5575594728027975450f1d1b3936727afa98454f608de12ba6c2f7b758dc4
results-70400-9
8.71 KB
sha256:4089cee30fe5b28a38ccd17a3b368fa5995a8b7cbddb8c0b467f1ea05bd59341
results-80000-1
7.27 KB
sha256:e20ff55e7240f96814aea1cdba6406ff009fc0ab7ca46b9e7264186ab9ad416c
results-80000-10
7.88 KB
sha256:1e72b920576186a6a6807d854e0eac505631d5dc49fdbfb63b040d24043509fe
results-80000-11
8.5 KB
sha256:698b32254b97f28a088f9aad26f3b3800a18e03b937c904b8c38e09b0b350c07
results-80000-12
7.31 KB
sha256:80764cccdb80f7562725c20651e1de7e2a06a38928136990e0fd0c0514a17b3a
results-80000-13
8.47 KB
sha256:56ada7d5719e7d94a94a713111dd0b9bc8611e7e8c9f0dc0791686037f3716a3
results-80000-14
7.19 KB
sha256:ddbbd2b2f0f5ae03cc94ed358a34aef9a6ea8cb76107a144019792fac5ca39d9
results-80000-15
8.05 KB
sha256:947bb38c0e5c33cb411251d997a1a5d5dde314616547363298a8bd7f43b4e658
results-80000-16
8.96 KB
sha256:11cfdbc95621bb36b9b88dfe5e73eb339b083c690d31e96312e1e57273fd08f8
results-80000-17
8 KB
sha256:e878e83d040fa30c9c4a8c6516ab1f0ff97ab2faf0b691e59b43dae03edda147
results-80000-18
6.67 KB
sha256:da413e8726e43ccc3602a1bb03bd5ac2e31e71a4d12ab9455f9549fe8a5b25b1
results-80000-2
12.4 KB
sha256:3c9ecb789fdee08aaf59c4dd4858bfc51dce0b9761e53dd0b801cf395d50bdcf
results-80000-3
6.86 KB
sha256:c2211b71b9a9fe697974adde755403b2c808c6d38e6bb57f688cb11b8d280bc9
results-80000-4
6.74 KB
sha256:6d6aeb3ddaa41b2ebede57ba6ba683f220b54a150fdca2ec3374b358e26ab18d
results-80000-5
7.56 KB
sha256:81a59352489ec1e244120f3f9ac81ca8dfba0f140515167c378bb8703b52dbcc
results-80000-6
8.53 KB
sha256:12a2fcfcd24ee7ca1ff6529ab112bfe48a4a623266940597c026bc694fb79b34
results-80000-7
6.82 KB
sha256:41bf8a6a9903a03e3fd8e53979c33b9249e800914e8872486106f01502b0b56a
results-80000-8
7.44 KB
sha256:67ce73209e0ebf0f78bc813f450aeadc80f5b62713f67497e0258a3d65753e5e
results-80000-9
8.09 KB
sha256:4a91af88dea23a7cc680b8f62549761c41ae6dea639c24f95fb8ebe60bddba4b
results-80100-1
7.25 KB
sha256:552fec539fd920d8de18405d6a32271660b70e5008e4775c471b11d686544825
results-80100-10
8.26 KB
sha256:1fc00853ccc838e4e427741948b93491a6df4169c3eb0f32e777f02475b68583
results-80100-11
8.67 KB
sha256:41600349c3bb9e770f7919abe759fd4496753bbf3393ed416360ea0e387f372b
results-80100-12
7.37 KB
sha256:9950997076ddf6d9ef8a49e35df58d427a462fd247f9e9f7a79a6d0fdedf63d8
results-80100-13
8.33 KB
sha256:1b45d090d55abcd6e14221fab01e3744bb89502890db3a95c699f455374ea13e
results-80100-14
7.19 KB
sha256:bc75bdef7c4e6f0f115b085b404155d1cc3bb5806c8e821bb4de869d2c70ff6b
results-80100-15
8 KB
sha256:e7e5eb2db04e065d92c46561fe2076250061863d6ed45d78dc9087564ca4c3f1
results-80100-16
9.19 KB
sha256:29bd8aab19e007aa023d248e768e96db9021c801fc5d6a078d18c1da8af0a07c
results-80100-17
7.85 KB
sha256:c20c5952068aa3e2faa808224f2568fb77f51f4a8239a5be543149002b64b1fb
results-80100-18
7.78 KB
sha256:b494ba76dde5f76063d54d3cea27230180d2a878f521ddab5b15950cea341a7f
results-80100-2
12.5 KB
sha256:01188feeac2e49ad481913c784ccb644d669d8eb65fbb1d6b7e2f08612eefb9d
results-80100-3
6.81 KB
sha256:61bb8c99d90f80e5ac53d8793bb3d09a046bfb8746fc8b94940f7a20b1845402
results-80100-4
6.84 KB
sha256:e4915146eb406c99ff8ce2317c3af2b5bafdd4e149261f22bceb3c947d9f3f7f
results-80100-5
7.6 KB
sha256:54256cd70294d7b0c8c0fa814df0c90d8638189a88176495f4f98de2d94141b4
results-80100-6
8.46 KB
sha256:8896bbbfdf9134c45405347d512c998eb8457d206799528217ecb8c06a115a0f
results-80100-7
6.67 KB
sha256:17ab440993a4546c4a8f0319f680d9d090c1b0de4e79d2c26769a333bfdd4fd3
results-80100-8
8.2 KB
sha256:bf7b11618fef1b5f9598560c1b359b1d0d9d30434bbe676c339d69a6d3e4f6b5
results-80100-9
8.39 KB
sha256:fee89482ca4399d5e99236b0531b47394ad685a11ac07299309f13746a77d9f7
results-80200-1
7.21 KB
sha256:d4de624a9e47531758291c14cd565ef366745ac9bdfcc59805e9e80ebbe84f21
results-80200-10
8.06 KB
sha256:112b6df05c3805e7823956f0abee1c0e779e8c67dbf65c804039872fcf5393e5
results-80200-11
8.73 KB
sha256:112f0171bcd2d98e8ae092256bb18065750df190fad30ce3334a5f67a37e34ee
results-80200-12
7.35 KB
sha256:e6ead9f161613fb68160f1fc81b0c576b6ea918aa5ec2adee9f13e38adcb39a4
results-80200-13
8.33 KB
sha256:f38ba8dd3e34044889cc3fca02b4264f53a62bf46ed8c9615d35d222f3981087
results-80200-14
7.19 KB
sha256:f4ff7520c1d4c4d128c544ed2ce8052eb1bddf5f8e049d5cb912e090b0827bce
results-80200-15
8.01 KB
sha256:e45e49cd9a58390fc3c56db6ef384dc6bb8edb9f0306da5bb28ec128595cb85d
results-80200-16
9.05 KB
sha256:8ec6517acdc85bad98e0dda77343b6a7030d076a1cf41ad103e210f5ef89abdd
results-80200-17
7.75 KB
sha256:19b20866c948238c42788d9cbb29122089529ac189a2a5e23d99a30509fbff42
results-80200-18
7.56 KB
sha256:d229146765cc238b359ff6b5b15d75092b0ed75342e682bd6090424ffe4645e0
results-80200-2
12.5 KB
sha256:97ebbe2e4f2eeee82415e070035e466895964ee7a1a5ccc429e25056bc419070
results-80200-3
6.81 KB
sha256:62c542c0b3f598042b0003f1ece132e4e00d1b98274b49a493dcc06152629538
results-80200-4
6.88 KB
sha256:f073c4777cfc931dca6f6f2a65f7e16a6be33ebcd257b9a7c377ee921f1f6340
results-80200-5
7.59 KB
sha256:3631bf56b950da1378a2202355aa7710e5c48b2e100feaed21f66fec2081992d
results-80200-6
8.5 KB
sha256:9ec85ba949ac57ee2a4f0efd87dc27b208a2d5a02043550128224c4d889b7d98
results-80200-7
6.67 KB
sha256:af9acd77f111d406cb86c42bf9d85fc446abc21034de2f2442ad9e9a95d72020
results-80200-8
7.87 KB
sha256:00c2bb5ea5aee7700aed8f25568116467474a783ce5df135e887a181b729ffe6
results-80200-9
8.29 KB
sha256:40507a2be23e37fdeda507373b73c65e9bb117332b1af0832148020012ee2c25
results-80300-1
7.12 KB
sha256:ec737700020f5d59d32ea08d4f07fc77000b63d95695b8b973d632106b1d7c24
results-80300-10
8.06 KB
sha256:77c820e4975a96cb7d53708f433fd274b1e0fe19e5827ae3030a67632caf8414
results-80300-11
8.6 KB
sha256:7f566085ed8e6235f9e3477dbd31e7df23df9a7ab929c40777fbabd2a91c381c
results-80300-12
7.37 KB
sha256:aeeb0be9985db63ddd428f79e4f53a4bdd569c8b0e077209fa913f7d653db0a0
results-80300-13
8.33 KB
sha256:97bce49377775f5e4b180846bc9a7865d58c57f8be18bb0bd43b30a7be753ae7
results-80300-14
7.19 KB
sha256:5222a2f6f3614bf07e710c56a1dea0ca0ea07251eed8b47c8e8d99e4d23eb05b
results-80300-15
8.01 KB
sha256:6e4a8e45fa3b06f6743667270fa6a30ab38dfc0a13ba5bb3b51c42896ebee114
results-80300-16
8.98 KB
sha256:adbc5c01ced0b66177c777fc4e08ea69f52ae4b04a0fd8920c2c33d6ff7810c2
results-80300-17
7.59 KB
sha256:134b700c7f34f7d9ef1ea8d1681d6e1157c5ec17ebc0094070fde0d7cb45a404
results-80300-18
7.51 KB
sha256:3e85f38eeaf6b69c7daf89d72ae87c22c296bdff4b4ecc1458c5c0bf0aedd3a0
results-80300-2
12.4 KB
sha256:4f18832c046551a5f88c71ec6981c51c0fcc81397980e041e06ff4f05f139711
results-80300-3
6.81 KB
sha256:cf54e30a1301c441630544e8f877ad78dc4b79cf0a56953c0c4b9f191ae9c9dd
results-80300-4
6.88 KB
sha256:aca9e9e4134e2ebbf3b03763d221687934a123bc403b1cc91757f52719d329ac
results-80300-5
7.59 KB
sha256:7060a31a9a78ac6fae3201db041b8327307ebe1481c2255ac064e5ca90a67efd
results-80300-6
8.5 KB
sha256:e3a60f098b63422b3e0b8b658b8d14e728d304ec7e30be47c72ab39025c1e2d4
results-80300-7
6.67 KB
sha256:0c98dc1e39753cf3cb28ab01d7d9e13e40c1cecdff670663ac0a85beac37b95f
results-80300-8
7.87 KB
sha256:7eb0c69f88b689fee7c25d0a4a0005e9361e483105b883c078e2b3331fdaf6bf
results-80300-9
8.22 KB
sha256:08590260926e2bd8864333e6060dc08c9223ed5fdd94fd95264f365ca8735bd6
results-80400-1
7.07 KB
sha256:5adfb06d8d10668dd69e74891c63e31c014a95bfdccaeb1c1c33a5abcf5b26f8
results-80400-10
8.01 KB
sha256:626dd59626f05f4349210b7a27dcbce21eb74169befdf871de29195c8b850932
results-80400-11
8.62 KB
sha256:ba37224501db548c6476adff97bb9da62345a19b8afa551a39dbea3122d5b406
results-80400-12
7.34 KB
sha256:e6359e0ea9be6139ed5e90fb3398c879422e37556da45d6c206d742f24cdcdd3
results-80400-13
8.49 KB
sha256:dfcdc434febcd8aef92153a37c885f434fa4985f70407a2333068ab2aa6d0049
results-80400-14
7.19 KB
sha256:914e8015db82da75759e474f6791436cee396f71a6d33a4945c343378418a8dc
results-80400-15
7.96 KB
sha256:831036ee641f66203cdbfaf77029c9522e8b33469bac29054fa6af04449101d7
results-80400-16
8.88 KB
sha256:b71f5a264eb1b94f790cdbdefa9ff922f3186f3a3c42b57f943a383d456ab5ab
results-80400-17
7.57 KB
sha256:6210ad0e88dfee302ebb38268adde744bde0e9cf02f2f049b2bf970a1be4dfbf
results-80400-18
7.3 KB
sha256:5963029b8c48e2489f270b3f9fea26f13d783fe773628c1efc5cf065a0841612
results-80400-2
12.4 KB
sha256:a5a33c65c2aab1c8dcd57e6dc2892e16dec7cfdd5bd6c434543f2227f250224a
results-80400-3
6.89 KB
sha256:6c1380b54fc088a406dec9b7b3484ee7569c23c8484fa3a4e1752a90972abde2
results-80400-4
6.88 KB
sha256:17c909a23be9abd3393a37d4d15d4cb4123ce8439efb8dc6d989b1a8943f76ce
results-80400-5
7.58 KB
sha256:41952642babc11e884efde6694c74320f2f48963b4dd18b877f5bdcee18b8cd9
results-80400-6
8.5 KB
sha256:478c977f9178be376cbe15e425d18aeb9f87237629f62d44e1bd2991d4f62e12
results-80400-7
6.67 KB
sha256:1f879e054613c84eb7ced6855933f092e6876c104358a8784ee8a5362675b2e3
results-80400-8
7.84 KB
sha256:51b953304241c276825836ae720ee01356c88e2081c3315eb9df46559972b626
results-80400-9
8.22 KB
sha256:0b2e44411d02762897b8c0bc03e8bd0f859cea36a5221228ca58a51a288a238e
results-80500-1
925 Bytes
sha256:5e5979ea9bfab4fc46a43ddc8a7c309afe48998f4e7d826add78def99a23f0ed
results-80500-10
730 Bytes
sha256:c4620a6612077a9a92fb54fb3ad44f210b519ccf6edf4b3c0b72a9c7450772b8
results-80500-11
611 Bytes
sha256:a8c303ee9981e10eb0ac97b3b94e8f4d77dd89e0f3f14ced7126d68d8acb9bd6
results-80500-12
658 Bytes
sha256:061d3c5d44e860723d6397a3bd77083a1eb7890b04151bc3231f85a7cb6791f2
results-80500-13
666 Bytes
sha256:78c33aaefcc17623faa951ba497c6ebc9573d7077536d5b30e9049a8ea4546c4
results-80500-14
684 Bytes
sha256:9f04c246a181785d2a1049d02020491095ead3f58895e04a96ef20112e71658a
results-80500-15
768 Bytes
sha256:438aa028696bab5601635a0eefd0eef9601b8733a4545766c40b836cb7720817
results-80500-16
655 Bytes
sha256:5062f663feb38b884b74b96298c9a85bf85b5205aac4845a824997ac51134492
results-80500-17
469 Bytes
sha256:bdd39d09fb782ccc13125bedc1ff83a41eacd33bb57bee81ca7f94c0138f45e0
results-80500-2
602 Bytes
sha256:cf8b58f761b6e39eedc1336ea88ac9007e672634f0f72327c51cc5f505eef1f8
results-80500-3
649 Bytes
sha256:916c6a8a44d102e697a5b6efd8bec3a1aa49a9bcd7ec710723b4a2a5e2389925
results-80500-4
612 Bytes
sha256:4aa12c246e72806d92309cb72954b397072e51dea7b3a6044170a360fce0fd37
results-80500-5
773 Bytes
sha256:0000a56867c6e9613d71155cd8c33fd54fc3efb2d8ff8cf5c320c080ab757195
results-80500-6
560 Bytes
sha256:8ba7cce9b7df1f6e16a6043412aef58a766a909398e92583febc2963cb2f6859
results-80500-7
667 Bytes
sha256:a09b5b94795330785d7841059908e0297526f73138fb0be24b275385eb54a667
results-80500-8
551 Bytes
sha256:9416b6fb11ad05e42c03a254a64ac826d4f1a4eccb7fdec53233dbbd46834bfc
results-80500-9
653 Bytes
sha256:db768502e801b88a8ce9b9ac913b33746be2852788714bcdb17bff02da8de5c0