Skip to content

Lazier return in UnionType->isSuperTypeOfWithReason() (~40% faster) #9326

Lazier return in UnionType->isSuperTypeOfWithReason() (~40% faster)

Lazier return in UnionType->isSuperTypeOfWithReason() (~40% faster) #9326

Triggered via pull request November 29, 2024 20:30
Status Success
Total duration 6m 19s
Artifacts 146

issue-bot.yml

on: pull_request
Matrix: Analyse
Evaluate results
41s
Evaluate results
Fit to window
Zoom out
Zoom in

Artifacts

Produced during runtime
Name Size Digest
issue-cache Expired
542 KB
sha256:a1b29df7839b392c2598bc4ed5d014bfacc14d70c35c506a2813f577f4ce3128
playground-cache Expired
464 KB
sha256:319dc7986c71f2a86a6023d10562c54f51e77ece9e08af8181fb846f54003ad9
results-70200-1 Expired
6.22 KB
sha256:bbfa82e548555cad4240dd4bdff3dfea89a8da733d8c6b019bf1fd8c9f53cb4b
results-70200-10 Expired
8.37 KB
sha256:859b735f014360896f48b393e5c2af572825ca6274a58eb0fb0e1923a866b8e0
results-70200-11 Expired
6.94 KB
sha256:1e83942c7b92e1b1e5865001e1fc618b2d09598f8532ba42ceef380779af263a
results-70200-12 Expired
6.81 KB
sha256:7886b28d0b8b892d907374db86d8a2eab95f0a6bd35c0b3a9a1d45f96b2c5824
results-70200-13 Expired
11.5 KB
sha256:36216c4150f6969f47e23fabc8db584a98c4048a3ccdb857ee8b2f2c664e0270
results-70200-14 Expired
14 KB
sha256:ceef3a5b9f7fe863a71f888cea9147a837172f19db0c6f9374576fe8503f4109
results-70200-15 Expired
7.04 KB
sha256:c846b73ed9e014e7db0d4d6794ab6ae67e0e1af67f6b4f4535479d57a69b598e
results-70200-16 Expired
7.9 KB
sha256:760e4e68e9301face219246c561524cd3338a5ecb1903b49a694498ef9b44a7e
results-70200-17 Expired
7.68 KB
sha256:220589a7d3e9f67732d0916e9e25cb2cc25056b15a23eee6ff2b3200366e47c2
results-70200-18 Expired
6.74 KB
sha256:a9f2d6d205c0655c2ade01098a4c122b544be1cdfd8ade0abff462039b86953a
results-70200-2 Expired
7.27 KB
sha256:4f94e94fe0911754e05146ec68f848a42852e9c351a70ae3f556a45760b03491
results-70200-3 Expired
7.49 KB
sha256:c6f3bceef765c67bc3d62b6dd5ce7b1b0da25289d74574628c209c36ba718599
results-70200-4 Expired
6.41 KB
sha256:408750d66f0eeb822a8cebcbce931409a8116b617db7f7ffbc0925180c69d49e
results-70200-5 Expired
6.53 KB
sha256:da9873f140f92451a9ae74752fb2f57701f1484330a790646197c7e6a517bbf3
results-70200-6 Expired
7.34 KB
sha256:21c8e5dcd0431ac15c84c20a945a8d0e579ae1e32a0fb5fb74b50331eb58e403
results-70200-7 Expired
8.06 KB
sha256:cfa968a07735cfdf6b0d3855cb1164ac4f477ab2b4d1794cb5dccef90c34988b
results-70200-8 Expired
6.53 KB
sha256:64a0486e52efd86c6c163fe6ef3a7c81be433e2dba8c9e8a6a6e8033b4143dd5
results-70200-9 Expired
6.11 KB
sha256:b340ae967b99a400ae1d79efe1e03894181bd960d090cb4b189454d6abab10cd
results-70300-1 Expired
6.22 KB
sha256:2c442d82fdd5e509a9ee744819913906c6ccb1037ff11ffc0e5c0885c18a8207
results-70300-10 Expired
8.37 KB
sha256:77f71823cfb849646900a26e961f5a637f4c76f40801d8c194660d054a6d26ef
results-70300-11 Expired
6.94 KB
sha256:f478b810419af9b2d56c202f078f0c313876baf469d20bfa290bc777d2a65f9d
results-70300-12 Expired
6.81 KB
sha256:91023ce06ade5f0b09493fd7b8cdabe2daeb645bf51d3f48f24b4bf291a4a02b
results-70300-13 Expired
11.5 KB
sha256:5d1431912363f95fcf120c06720d60ce4c4c58af62b7859dc705a4a0507ce12c
results-70300-14 Expired
14 KB
sha256:c55eb9dda6c1154efb7f1b92d0e3ef6c8ef5b00569c1f035d9c204fe0462ed3e
results-70300-15 Expired
7.04 KB
sha256:1b12cd17cac9ec4f5f546cf4e90c56ca34218ae63d81d9eb6a851d9c36a8021c
results-70300-16 Expired
7.88 KB
sha256:100b6656b5fc9e887b20f2a7c4ba8f273ea3dc20c3ae42434e975ec186584468
results-70300-17 Expired
7.66 KB
sha256:5bdc0d5b467da85d2d8a2284fa9248cd2c36d0a380e777842c3f1bc6a40e09fa
results-70300-18 Expired
6.74 KB
sha256:cfae2041f7b04a787165e44d524da22369daf80ea29d4506617fe438673b21a1
results-70300-2 Expired
7.24 KB
sha256:6c290d6b1773c6fac5e4819fa1b832dfe5cbada8f35ef30fab6cdc13f878a1ed
results-70300-3 Expired
7.45 KB
sha256:84d720bade7989822cf337a79fd0cbde269ea07f7d894da82ebe2efad6d077cd
results-70300-4 Expired
6.41 KB
sha256:307389951b8905d21cac7f19de7b179ea48ec6397e459a4925e24aadfb5af7d5
results-70300-5 Expired
6.48 KB
sha256:aa344ff140c7c3110e1424e62ca95cc8db67bfa5f57b16352f81c402382c512f
results-70300-6 Expired
7.31 KB
sha256:ff6b7fd67ab75abcdc6ddee7adc6532adc97cda91ee31b69c344041bcf095c2d
results-70300-7 Expired
8.06 KB
sha256:9cc674cc3c02bce9f3bf437f9d7d79b7fcf4aeeaaf05a321e8eae7addf3a1785
results-70300-8 Expired
6.53 KB
sha256:e4b3985f45d492683c20c6630344b18263a0539993b01949c5b145e2339d3354
results-70300-9 Expired
6.11 KB
sha256:614e23740bb5ba152f3595bd4786492a516796a29b488d688cc1fa0cae9b2e3f
results-70400-1 Expired
6.22 KB
sha256:e45313b0064bb2cd7de012149eb69f6e258ae3d9a3a9cc5548e8419a3292b260
results-70400-10 Expired
8.36 KB
sha256:0becb7fb4f526df5ae0e4fcd9eb24c12a56d8fca86a237135cd8732a51212fd3
results-70400-11 Expired
7.09 KB
sha256:7bbef60199c8ef102235603bc88be3b2faeab1de9562642919b931f40846a86a
results-70400-12 Expired
6.78 KB
sha256:27169aa82019491eee9557be77a2c9c235ed2110a01512af6dd827105aadbc38
results-70400-13 Expired
11.1 KB
sha256:03c41fb4b1e658c420b499bcc1e14f385fd7d137fc556408926b82f610cb5552
results-70400-14 Expired
13.9 KB
sha256:bcf005e057423ffae3593e9a47d0c1b5278017f52ea7b94f4b4fa28068c11687
results-70400-15 Expired
7.07 KB
sha256:8d9a1254867db4abe0ba996e80e7c2c63de1fdead06eaae98189865fe6d0d97b
results-70400-16 Expired
7.66 KB
sha256:c449ca073fa57e59a2243071eb9c25888141cf5b65b76b9e41c3a8c859c820ef
results-70400-17 Expired
7.66 KB
sha256:41c24331640420bc1966333d3f3496dc8451b0aa2d743a89a2d12fb816b52cf1
results-70400-18 Expired
6.81 KB
sha256:1017d306fe0eda9505e86ce4eb9ecc95d31ccb4e9bbddb9be74f18b4d11a637e
results-70400-2 Expired
7.36 KB
sha256:85c423d2faab8edcf1ef458b8a9baf7ac715c34526852aafb9d1ae548c4941fc
results-70400-3 Expired
7.53 KB
sha256:886b6b2e64ad971d386b8fdfcced65d2233cad44caecd5af329841a702383e6c
results-70400-4 Expired
6.37 KB
sha256:3b2265de8150901f3b8d41f68df76ac3be131f1d737f81f8139c9dab5b58ead6
results-70400-5 Expired
6.48 KB
sha256:2383b5bfb64348f769e8dac6296e91e0b2955d47467b56897579b73f846669bc
results-70400-6 Expired
7.31 KB
sha256:9968b434e00c536958ba4fe93e3ead4c9966d0d3108bf87e815c91ceecf7b439
results-70400-7 Expired
7.94 KB
sha256:f08e4a37b66f8249b1c6007d6ab7a22a87ac438881a320a4b8ae723947683a07
results-70400-8 Expired
6.53 KB
sha256:16f0049e625cc17df357cacc55f2a96fb89c85daf8cea7108d49de240935ed7a
results-70400-9 Expired
6.11 KB
sha256:a8df516af5c4bc515a4baaa8bbc56ba4e2cb33eec50e2f7c1872b1867ec1e83b
results-80000-1 Expired
6.01 KB
sha256:246631c9a8571581092f84ba4d0b6e9cfffa9dd48c6c2da0f1ebc2f97151341d
results-80000-10 Expired
7.77 KB
sha256:c7838c9e1887ce1dcb3cd1c9218ebcbdf70cdbecb6dfc0fb01dc77b10214bfc3
results-80000-11 Expired
6.79 KB
sha256:91ffc655b9e3a3b8dacc7981db31e91a8f5d427ba56bc2f3085595dea26b6cc2
results-80000-12 Expired
6.42 KB
sha256:2c627bd41859ca32f9dcc86befce317902475c897e29aab3ebeb4a57aec0f4d1
results-80000-13 Expired
10.7 KB
sha256:89811615c998dda1b82c20bc962eae6ed3f3f8e819d254c42678191140f300b3
results-80000-14 Expired
13.3 KB
sha256:90944b56b094572c1a4fb0d4e02420a48d90930c673899e26a3656c81ca4af7d
results-80000-15 Expired
6.73 KB
sha256:9404f07e2081bd2720f9a38ab998157776409ad10e70ac4fa119dfcb9f18bd59
results-80000-16 Expired
7.09 KB
sha256:8f5e5fe1f804d7e9a57c5018d3dd395b5381d82ea4da87ba752efaf367948a52
results-80000-17 Expired
7.4 KB
sha256:9d807f2bc4435641c8a9468af3d2acec269a2d8067cb7dec681d8d0f71d8bff3
results-80000-18 Expired
6.4 KB
sha256:f78caaa24920067a207d374b805c15a993fbfcac8215028571e1c31484411ac7
results-80000-2 Expired
7.13 KB
sha256:f7f1f329328eb9b9e396cab9f61390f5eec5d89edc1ec798ce693aab30028f9a
results-80000-3 Expired
7.17 KB
sha256:af331ddf83c778be5aa61a6e01668eb76dd3b60b18850b4cf701e0f20ae3f54c
results-80000-4 Expired
6.23 KB
sha256:74913443da21d77bfe98efc5a827b30b8ff131f91d57d0a14a19f0f7b3969457
results-80000-5 Expired
6.34 KB
sha256:8b8f604827ff64a993bc2c1c3c282b5cfc3b8a7247988dd75fedf6f0aba91d26
results-80000-6 Expired
6.8 KB
sha256:f0a0e4bbd3476a21da0f57fc3d63b8640302e342972d5f25c2b58455d121ed97
results-80000-7 Expired
7.17 KB
sha256:728320555ee353799bab495001b9e8e1b9ffe4a383eef889d13b0395391bef58
results-80000-8 Expired
6.21 KB
sha256:2b7267d587aab5f612141370148ace34c5b7b8fbe77a67b5d53b398e609e09b6
results-80000-9 Expired
6 KB
sha256:5308b728ff825f455a2a541d555b1853946c3e22b7269b0ecd58de4ab3c0195f
results-80100-1 Expired
6.07 KB
sha256:1d5f7889327d801dd85bc9884db14885a765f96a73c72e780750593fe58ec57f
results-80100-10 Expired
7.9 KB
sha256:2cdf2df179f8d24caaa42aff4ba7ab6f1d82e0f4fa4626b5a12fdac3af281a60
results-80100-11 Expired
7.02 KB
sha256:ad9c7d81a11257a46392bf044b0885780eec00a353404d8f6bc7e103c74e86f6
results-80100-12 Expired
6.69 KB
sha256:89285d9e60e7c8d3973c97bd28b2dc3fa6b8395d210b2c5f7c18f7cc23fde6a4
results-80100-13 Expired
10.8 KB
sha256:8f9bd3eadf3ce0ad126feb92c114641341575074536f277c021779c8e069686d
results-80100-14 Expired
13.5 KB
sha256:8164a125ff3d7283d9aabde633fd6d9b00fd921cdaab544ad454f665186c3f7f
results-80100-15 Expired
6.97 KB
sha256:e3f77c70d57e7f3a707535e1adc1828e5d908a3a37831fd5de0f18bbc6af8092
results-80100-16 Expired
7.22 KB
sha256:ef5c0ad45a75a35e093be6a7f001a3aaf2bb5bbade66e753ccc7ebc75013ac19
results-80100-17 Expired
7.4 KB
sha256:d43cd48d737f60c774b8fa35875a1f055127570b46f28a6c7590e6a219c28530
results-80100-18 Expired
7.18 KB
sha256:65760b885856e8c40c16d2f9880014f40205c428a7da4b5c07242bdc03f5d540
results-80100-2 Expired
7.19 KB
sha256:e0225cff0cb581faad6d8f3414d490dbb816d974d2ff5c5f597329eae779ebdc
results-80100-3 Expired
7.17 KB
sha256:d1c20f53bf0cefddf2ad80217a6bbf3e4fb64a785c63d9984ad33d60fdf93963
results-80100-4 Expired
6.13 KB
sha256:48a174b8811d1ae6c91800dcdcbc2b2a2266e8941df3758e751cc91eceb7901e
results-80100-5 Expired
6.38 KB
sha256:068e648bc20d1e4267bd2675a7f5cbfdc7d181b3c2025256dadea47141801161
results-80100-6 Expired
6.72 KB
sha256:da9c1cf18a0b874bd93255700eb7bf13674c0036918d705b6060e9387cc46288
results-80100-7 Expired
6.94 KB
sha256:ddc8c5767edd620f6c34660102cba3717935e2358ea00480c50691a689fc7e93
results-80100-8 Expired
6.21 KB
sha256:d724cb578ccb580bdbe255ce0e8dd4e094e53c5bd62421ecabbdbb12329fb5c4
results-80100-9 Expired
6 KB
sha256:1a440074fc620a8724271e1372082e7120aae588460aafeff7b531f40f340dd9
results-80200-1 Expired
6.12 KB
sha256:f486fc3062ff9461acd34513fee3d29f3dafc4b03e791b1028ec2042c0dc209f
results-80200-10 Expired
7.96 KB
sha256:8f3e4bfd959307a962abcfda1618b576253225b7d5c43daf71f20586e76586d7
results-80200-11 Expired
7.06 KB
sha256:27ad48b4d057cf479ce741c97ba7d15db2574dff4f6bc5e804807880a77c2be6
results-80200-12 Expired
6.64 KB
sha256:58b889e766ab1b5fac9d2e4913d8ec5404a2c9cbeca0349ac9315f7233f1bf87
results-80200-13 Expired
10.7 KB
sha256:14db7fce55449f1e5521f25e5b413a8b29870430f8efb4b01bc9613463de7fab
results-80200-14 Expired
13.5 KB
sha256:db68b701d1ce731869179b8292f5830b0097e0604c105f913c5668b6058102b5
results-80200-15 Expired
6.9 KB
sha256:af71a896565e8e2e8cf9c17f3a1dc2c6bf261844542701bf1a3cfa43a228ca57
results-80200-16 Expired
7.13 KB
sha256:1960228900d515b961b6f31b4854e4b3617e891db7520d7b72a8867017df7729
results-80200-17 Expired
7.32 KB
sha256:37b8d75e0675ec69465a5aefa2b9ad1bbc87f62eb9d84ba4d7a0e81bf05d7f3d
results-80200-18 Expired
6.85 KB
sha256:435dcc57c9b49c39bb186e67c90e13e115341d287a14567164c1f1baf7595c43
results-80200-2 Expired
7.21 KB
sha256:ec7119916017569cd8c9ba4d71951383554ceb31ee0a9dd6d5d486e764fd7373
results-80200-3 Expired
7.17 KB
sha256:60a5a1ce677d88c5612b8f9f4ca12be1b1914721ae6d96ef5efa6f74f6104042
results-80200-4 Expired
6.18 KB
sha256:595fced9af034159b48f90df57fe6c876bc84a8073b6d4a51a832a5ee0f96092
results-80200-5 Expired
6.39 KB
sha256:85c2635fdcde146a183f087c311ad800829d20639917e2c612e72f00cf28ad8e
results-80200-6 Expired
6.72 KB
sha256:8fc9a182a9075cbe06374228a261203395ca1e305e3d12192d1aa3da743434d8
results-80200-7 Expired
6.95 KB
sha256:37dc54dc19e945e53df3d62f4e39ad4008a3ec35716adb386ab6184eae1cf427
results-80200-8 Expired
6.21 KB
sha256:1f674e7af1481b4854882238efceecffc27cf522886c6cbb493f24cacac15b3a
results-80200-9 Expired
6 KB
sha256:3570f67fd271d199e82fed8aa894a10da94b1a6c601243530a07c58a4a91edb6
results-80300-1 Expired
6.12 KB
sha256:8bf769c33acdfe486f10d4b520f1e124d386a8564012cc606f10ba7aa9b1885e
results-80300-10 Expired
7.96 KB
sha256:a71cbb0acaf0d0b41bd76fdb7dbaaddbe2bfe915d8b6544c23dfb959f34b1b00
results-80300-11 Expired
7.06 KB
sha256:b38a3935e765803d02d833b50bce07e0261de7d4608d909099bf0041c311a2e6
results-80300-12 Expired
6.64 KB
sha256:1baf4876a7e93d3e32095a4ca3739bb5445fc7747696ec3e1c66a5d468053e6e
results-80300-13 Expired
10.7 KB
sha256:3e740a9552356c694711a23019899b012efdc9b0eaefab3f3afa34403bde3a8b
results-80300-14 Expired
13.4 KB
sha256:79ea085e4268c96e001fed2cd1d4a91aea52d6cfbeca439d1e05f43e29e1bf15
results-80300-15 Expired
6.81 KB
sha256:86428891b75b6d773996f419c637e12321b83017f6e480eb639a2716765827fd
results-80300-16 Expired
7.05 KB
sha256:7dc0ec6620db6167c25746cb9b4a6e4f42684493d73ad845ac005e22230ebb03
results-80300-17 Expired
7.25 KB
sha256:d1e067e9ddde792044a56ec1db61dd0b546aad618dd673a99579575c598e8b9d
results-80300-18 Expired
6.85 KB
sha256:46c9cd35b29f22166c73dc25185225bf603ef3ec73f08b2e4e9584a23b56de71
results-80300-2 Expired
7.21 KB
sha256:6155828f3abe1097e49b80b886de66143ccb25962ecf708d70d803793ad480b3
results-80300-3 Expired
7.17 KB
sha256:4d6b30ac38e7b0f2f21ad298847712c1834c106dac246a7c8cf30c8d13ff018c
results-80300-4 Expired
6.18 KB
sha256:94783bae8bf3bb18234ab8709ae7144952c0d0f06c83d15c1c4d2e47954e6bcb
results-80300-5 Expired
6.39 KB
sha256:a956b3e2d04b05573d85188898621a8fb61692a98034db6402ff72eaa679c694
results-80300-6 Expired
6.73 KB
sha256:f5df886a7220dacfa8c86d36f3f6f6716875a6c003c739552fa424e35c19e11c
results-80300-7 Expired
6.95 KB
sha256:0106ef1f8d665cfa40001ced3b9dad338d9da78a6e3de35d7fc982e16bff58bb
results-80300-8 Expired
6.21 KB
sha256:d96ca151e2e4bd8559fb461395f6840f58289aeec03b7a1c2455cfb25802d0a9
results-80300-9 Expired
6 KB
sha256:70cd825a74aa1397cc9ce1ba5035c82dd5ee9643437188793fdb46005911e0f8
results-80400-1 Expired
6.12 KB
sha256:b77327aa2bff89f43b96d5807f9aae37eb5b56a0e7c86339024962fbec3de062
results-80400-10 Expired
7.96 KB
sha256:cb21747252edca773c6bebe47b5c7c634dcc508c5705c441e7de2e1b19abc10c
results-80400-11 Expired
7.13 KB
sha256:8f20367f0afb54823d0b90e0f836a9a2de79504129f1e15cceccfb0469283c6d
results-80400-12 Expired
6.64 KB
sha256:e4c10f93f4935c6e05d85a92f2a47c4af628bfed79e34f2a48e76c70efcb7847
results-80400-13 Expired
10.7 KB
sha256:32af968a1978e5feefd1b6f5f57e532f5af0ace959e97569debba29a0d57417a
results-80400-14 Expired
13.4 KB
sha256:ee65043247423bcd82152e77b6777dd290e1cf00f55c009e4d035694a95d5cb4
results-80400-15 Expired
6.81 KB
sha256:da75b4206cd7bc402b1540ec3fa85a663de860466c28b03331843f5c1974612d
results-80400-16 Expired
7.05 KB
sha256:f8acf4562a5965232efb82c345aebafbe146fc1bf22e67f95f49521bebb4af6e
results-80400-17 Expired
7.25 KB
sha256:3f813c8631944deee28c5c2e5b8431e4b9289afdc1dd31de3b97a2a51e91418f
results-80400-18 Expired
6.85 KB
sha256:873d915fdea5e59009fda2a1354b398d9942fa18562c5ae2b0d49b98863f53c8
results-80400-2 Expired
7.21 KB
sha256:8923525d14e81bf88a3441167d0bc7b06c5e8a8caa367a82e354fb087db4c4ba
results-80400-3 Expired
7.17 KB
sha256:aae06b8d0a19bd6c8c8c6499f18a0cd80d103650b8ec106ea033957d0d752cac
results-80400-4 Expired
6.18 KB
sha256:3a9d15132e71234d5d6aaa88f357d9da5e488c3882b422c6ccf883a5481939e6
results-80400-5 Expired
6.39 KB
sha256:67f3d145ec12ac3bce8817273cdf34fb17946fae60b88b56e7d15c4bc72d9d68
results-80400-6 Expired
6.81 KB
sha256:fa63cf7f3ea30e7f3c4caae02a949d2f3ef6c741c22bee7d24599adb15a943b7
results-80400-7 Expired
7.03 KB
sha256:87863ed006fe22790d46a5ff09591572685bab1cc5efccc20d50cd62e9036fea
results-80400-8 Expired
6.21 KB
sha256:4fe6fbe35d1714f3992744a8cc248d1c3ba345886f2ef4c92065811ec498414d
results-80400-9 Expired
6 KB
sha256:c20d3d7fd780c83b939253ba5d910080560934f69757847ca01b110cef331f01