Skip to content

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

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

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

Triggered via pull request November 29, 2024 20:37
Status Success
Total duration 4m 36s
Artifacts 146

issue-bot.yml

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

Artifacts

Produced during runtime
Name Size Digest
issue-cache Expired
542 KB
sha256:1de39ba281db333efbac46d7cb937a960995c58c95830fe7920ebc349d7c33c8
playground-cache Expired
464 KB
sha256:586eaf9e2a3f5a31739d50f786a19f8aba4b636e4d22f390915f6dc71b9113ff
results-70200-1 Expired
6.22 KB
sha256:da2777013a24c58961b99e6b7ede2a13221c52a3ec7ab539574de8892ce6624f
results-70200-10 Expired
8.37 KB
sha256:bff85b2c523199735bd191d7ff033a82bbeace1466e5ed51c1d84ffbb2143ed9
results-70200-11 Expired
6.94 KB
sha256:912d2dd15554451e490ed2581231134fa8a379d3c8c5d68aa693cdedd6c90c78
results-70200-12 Expired
6.81 KB
sha256:017f9d3ef69c349c24ff735fbae0bf175fd0d8c21479712620df9892bc78d7e7
results-70200-13 Expired
11.5 KB
sha256:0062d3e625d0668473c5616b580d06d149661efcf408593d8e6824e11572072e
results-70200-14 Expired
14 KB
sha256:24047dae02020f62f96d793049f64d7e94456f276549e0f95ce8779ba934bc83
results-70200-15 Expired
7.04 KB
sha256:a092dc75e2be72b45a046673bd01029ad10dd1fd60fb1ce0e2b067221c0bec65
results-70200-16 Expired
7.9 KB
sha256:562f7b00d801a94b4a032e49df33ea0804f0fb8a5066d5c52ec9f486333c38f4
results-70200-17 Expired
7.68 KB
sha256:00e50adf7a92ef456da21aa967f3e219053422f34e86be85f84fb02b495d54cc
results-70200-18 Expired
6.74 KB
sha256:06aa30ba75fc8c942af26a1543a8aa5f96256d925fc3f9c3f6856af0ce52aacf
results-70200-2 Expired
7.27 KB
sha256:b14540d9915c5c24223e502889372db2ebb12cd2736406f369fc131b93b74c1f
results-70200-3 Expired
7.49 KB
sha256:329fb1c6b1beddf9a7f44f2b7a6a825d51c740a31748e25121a2acd66bcd60ac
results-70200-4 Expired
6.41 KB
sha256:b66237e1c7db21a7d69186a4e8795a54e5dcf7114f2e9cb2439f920920e60c87
results-70200-5 Expired
6.53 KB
sha256:701971b59404ba5f77a196389f7087044e7499643f2fa94a806b98d847079865
results-70200-6 Expired
7.34 KB
sha256:2ee38f77135b2ac0f6effd2b358f57ef4befd1e894b4d8e658802c79a0e06094
results-70200-7 Expired
8.06 KB
sha256:34cd111b811df58963c8a90f5d71c652d361f316c8543fcc79b61add0e4034b3
results-70200-8 Expired
6.53 KB
sha256:2bfa277dbc066bfbec9e1c3d1f78c232f79ddccb3b48dd2cb02b19205aa8ebc3
results-70200-9 Expired
6.11 KB
sha256:9b2ef60cb1ab489dec2a8464a79369cd143c54e2f8a682ae664605e0d55fcd14
results-70300-1 Expired
6.22 KB
sha256:46c959d6261643c82d9294ea616bace35eb376193ca4e4e62483b4ca508a780d
results-70300-10 Expired
8.37 KB
sha256:d31cee9ccc1a8dd227b19416eef205e798d94eff2e9a2e9e489d526417e5e56e
results-70300-11 Expired
6.94 KB
sha256:0cce00b40fef51bcaccba4f66d40c1ec244e712a5f2fa37a4f494e3d4ede79f9
results-70300-12 Expired
6.81 KB
sha256:1f90cd863e474a94e29542589053ecbc913702e354ffe2c862683fe831951e15
results-70300-13 Expired
11.5 KB
sha256:ca9cdb2e4f84119b499d33c3baa2fdac1dbf732b6a836fa9842040f825931211
results-70300-14 Expired
14 KB
sha256:17c55da16749a0251370e1156af3f8d51e91cce089fcf315ca957dbf4c6582cf
results-70300-15 Expired
7.04 KB
sha256:aeb2ec11ba3463e39738f5b71e8c7537a4422dea5d8418e921ef5b78f6cee1e4
results-70300-16 Expired
7.88 KB
sha256:cf7cfbd0405f90d86c8df32ca279f9a157d863c730c681b0d8e417d7719c0894
results-70300-17 Expired
7.66 KB
sha256:dc46fb816b3e70b8a6ddd8d59a00510582e814c6e7af87948c12cd9dae42e21d
results-70300-18 Expired
6.74 KB
sha256:7a201242c554ead712fa891a3bdb14746a67aa404b9c55497aad645034fb02c5
results-70300-2 Expired
7.24 KB
sha256:c9db60fe17013ea927cf81cefe33aadb0b625d19d25a37fa40706765d7906831
results-70300-3 Expired
7.45 KB
sha256:ccb45e2b66185710951981ac7e24dfcb20cd62c0f83be407e6a235fd4adfdfcb
results-70300-4 Expired
6.41 KB
sha256:1d159c361c68b73ed753416358f464c8e9f7e2dd1d834f0024301bc61f452f1a
results-70300-5 Expired
6.48 KB
sha256:6e2bde0be4b54bf5d2878aa13ef7a71fd22951c5d7dfead00041a1b229062270
results-70300-6 Expired
7.31 KB
sha256:f2bd25fdb0c0f96dcda5d59602f94197d370320e0a0106b526e01d162ff80908
results-70300-7 Expired
8.06 KB
sha256:cfd6cbe35f0b4167dff4a37a5d01f861f73beb1cf89ef9830075970ef1063752
results-70300-8 Expired
6.53 KB
sha256:6118311c170fb302ddecde20bc5241bf5ce1b607dbb949d943ba15b16afb263f
results-70300-9 Expired
6.11 KB
sha256:73f214f996e3bca9e680457090de0d86de2f12541a5bef9a773000f4738c5674
results-70400-1 Expired
6.22 KB
sha256:d8c180f51d181456eb1953cdd61665540dbbfd07fd017553ad5810cfeddc5bcc
results-70400-10 Expired
8.36 KB
sha256:c55c5c7d891f12df33c67b235691728c00089d6079aec13d6d8703311f35570d
results-70400-11 Expired
7.09 KB
sha256:a1aacb3dad39fa9f2c3e9e61d734fd7975e6e83e058a4e03645844902050cc3f
results-70400-12 Expired
6.78 KB
sha256:6a2cf0540069789b8e2358318c5980313dd4ae14a2d8ec87d846927ca9040c95
results-70400-13 Expired
11.1 KB
sha256:cb0fb8fe4162ca26d9354323c0faa2a63289f539668180a17ed3e978c434385b
results-70400-14 Expired
13.9 KB
sha256:2e38c1dd4e1b45ca73044f5dde73a75ed7d08a288210b6cebc568a994b3a97c4
results-70400-15 Expired
7.07 KB
sha256:be33dbbdb1570b2f1f5e7de5949972e54fb3dc685140305c561dfb853a0fa30b
results-70400-16 Expired
7.66 KB
sha256:11a9f99e38652b6866348ecd1aebe136b4ad5fa4b807823dd6abb5bfe8bba364
results-70400-17 Expired
7.66 KB
sha256:6f9d621bfe6616baedb2f426c2f891d31c16c7d0fbd22aaf84f34dfa9f623bcc
results-70400-18 Expired
6.81 KB
sha256:6340cf35a8bcf1c7bf14dc1d169f2b0b8f271cbb7690c92559c979e8b6e600bf
results-70400-2 Expired
7.36 KB
sha256:c141b75dfd59df76ed2f4dac97c4164f5d2e552e52ffcba1ca3e6df6981e5683
results-70400-3 Expired
7.53 KB
sha256:e6ef8c65632a8d656e971f7204802c5ac6e8dfc82970bfe16e367d5b03fd1c32
results-70400-4 Expired
6.37 KB
sha256:275eb1008a5878d28102de4c681e4eace054f3da06e3ef75e34c785985a361eb
results-70400-5 Expired
6.48 KB
sha256:db39aa057ecdbac9e025f4a8759a19fb4aa669478077468e83b9772f1545dd06
results-70400-6 Expired
7.31 KB
sha256:5ecb2864741b3c50b77f2d5395efbcc9fef121d3a86f86486e81dd8fbfd2e3c6
results-70400-7 Expired
7.94 KB
sha256:0ef0ba725721ed30d4b91e36481ebbd3e22c906f147fd61ea4df15773e365048
results-70400-8 Expired
6.53 KB
sha256:4a44b9f1fb8a4943b571b32321ed050d405ac8384f189bb7eff24930e43c844a
results-70400-9 Expired
6.11 KB
sha256:2064f708731f4633c30cff9dcf199aae31a4fd2f597cf63a7d4784af0590a66b
results-80000-1 Expired
6.01 KB
sha256:d73e9849f50aeb8e780d7af6adcc39f50fac7e22f13237f7300ebf36bc8c71f1
results-80000-10 Expired
7.77 KB
sha256:c39db241985e41c41bbded25e5364504257734c6b3bf13241d358aaf2fb525a0
results-80000-11 Expired
6.79 KB
sha256:b4dd95b28473f10eedf68ba2339eff19a7b386585cb1ea10673621181c5ccc50
results-80000-12 Expired
6.42 KB
sha256:1b3a73725f7789de4ff03ab90b2a94df56f5a2fd05f490ed2d51d2a1cae5e485
results-80000-13 Expired
10.7 KB
sha256:8c703614eab28cbb86ab680e72f0af5a01fa67bae7177922540c63bdfe35312a
results-80000-14 Expired
13.3 KB
sha256:dcbb6334506675dcfa1d960f2b291125c2f69a0c0a3ecbc1c9f855004eee5086
results-80000-15 Expired
6.73 KB
sha256:80f8de335831ae61323fc1db30159a19b5f8af0f5121d75e6ceaffc19500962c
results-80000-16 Expired
7.09 KB
sha256:b59c0a0e974304a6ff3f4f9258169d145e1926ccf7acc0ae5fad000759842375
results-80000-17 Expired
7.4 KB
sha256:daccf6e16b749007281b93c656939063fe9d8f791b6c2579b877b671008d6b76
results-80000-18 Expired
6.4 KB
sha256:e7fc64c10f1bc2b7788fc2bd8c0536e60e17f7b772d5d69d35ee1c99714d9c6d
results-80000-2 Expired
7.13 KB
sha256:01b466e243e155a64fb3187b181550b9c4372e07b8fefa2f5d36dcc22501e1bf
results-80000-3 Expired
7.17 KB
sha256:5f6ef7f22a45e9e8662376f1d931949d4b54dba902fb5bfac3f2e6b9d46fd930
results-80000-4 Expired
6.23 KB
sha256:4d323d10af710fe68d0656d95f8e0de8ce946999be9464c134adc0e6ddb1f5c9
results-80000-5 Expired
6.34 KB
sha256:5ce0c361c1d125f7d4c1d0a8f16287cd90b7f402d27d5cbd548a54b6d051c8bf
results-80000-6 Expired
6.8 KB
sha256:b28dc60c6b75a9eb2d5a42847b1cc58cf44e9a4d36895512a4965f0f616fc30b
results-80000-7 Expired
7.17 KB
sha256:07d0c3f8c0773dc0f9f90497ace6a32a65379ceb85666b2eeb6c9ea78522632e
results-80000-8 Expired
6.21 KB
sha256:c2ad2f5f5e4367976ef7fff7cc658100c0201b80a58377a2cc51a7d4e4f391de
results-80000-9 Expired
6 KB
sha256:95fc3a4af4774470cbf225dba25732cc53574bd188a09e9b3c9e93ed6cffe3bc
results-80100-1 Expired
6.07 KB
sha256:29d97a343ae4ad148848b78676514d060351524527fd714fb638c4dae3cc3b16
results-80100-10 Expired
7.9 KB
sha256:aea8c8814975f2c02749e8c0e070fc51e5989a8a4bc86acd08e2888aadeabf06
results-80100-11 Expired
7.02 KB
sha256:bdc5e18941157a7edce7a06bc6b057d78331a39bf2e901db0c3c862e16199c74
results-80100-12 Expired
6.69 KB
sha256:eab264250e97fc7847c784e3bdd9241e2692cb67f1c2079d92ef35b5066ae8ff
results-80100-13 Expired
10.8 KB
sha256:7c26a183a9bcb7419d2bca95043c10c6300d983e213796fe4fbe5f82a0fe02fc
results-80100-14 Expired
13.5 KB
sha256:8688f175a64c134169a0e800e2796703d816528441fad55afd110298d045a43f
results-80100-15 Expired
6.97 KB
sha256:6a71c53abf2e3a4a832fcf61b957ec8de867f890549f9d389c25be582fbe2868
results-80100-16 Expired
7.22 KB
sha256:24c0cb1fd67df937735e0a5e201671a1af3e281066376e3a3c6b86943ea2b4c3
results-80100-17 Expired
7.4 KB
sha256:c82f1b1fac83eb8c258cbc6486872b3046811350182e27f6d0e3b1d023801861
results-80100-18 Expired
7.18 KB
sha256:76498302a4a0bd93f375d43491e95eb76cd136f307814f591febef9b31f64169
results-80100-2 Expired
7.19 KB
sha256:e30d686dbf8fc44d2c69f1f44515cd062f61b95f8b03dd3dac7c958a3b79a248
results-80100-3 Expired
7.17 KB
sha256:ae3f096b5e26c424af6f3e57ee7f40cf249c98347d7e9771bd6003de79e4f233
results-80100-4 Expired
6.13 KB
sha256:06630301008c6bfb4b3427bdf3e91b57188a54eb9d90a1e58b9d032b8075c307
results-80100-5 Expired
6.38 KB
sha256:bbb5e49e7f47d35104593c091a49cd62a9cd6d7948872139ef68a7b0da63ec22
results-80100-6 Expired
6.72 KB
sha256:ceeae43102e6b6d158c4d050ac2637a0092262a3e7392cf0643683016ce8a688
results-80100-7 Expired
6.94 KB
sha256:2e1c555c1fbf53e4f947c9cfc626f7e3bc30ffa94b14e4a07b67789aebf0fe96
results-80100-8 Expired
6.21 KB
sha256:a83fce42615b5ce20696eea7fc58b0c6c42997063bbfc937b0f8db76164eaed4
results-80100-9 Expired
6 KB
sha256:c519928de770d6dba3ef82cc72562adc16a1344d65dde5e2896b22b359af10be
results-80200-1 Expired
6.12 KB
sha256:f13ed87dd9a5283ea77d6165809ab1b99287e827608478130f19ba15c7ae8496
results-80200-10 Expired
7.96 KB
sha256:775c70291404e08ac45eff0f75593aaf763315bb0060d5373a067bd26bdd9964
results-80200-11 Expired
7.06 KB
sha256:d5fddd60b28bfd8fdc5a3b43592dcfcba6e6324dfa67fa59fc7b86d497c4e940
results-80200-12 Expired
6.64 KB
sha256:969d1b06c4d3b1b855f3b2e1cf5f8e8473b6e6f7ffb4f6ffa6aeab60a135e503
results-80200-13 Expired
10.7 KB
sha256:c35288fc134aa6b222c2a81b8fdd89296a03efcfc4adb78b2ae7f44d6288781d
results-80200-14 Expired
13.5 KB
sha256:9b23e189164ad2e98ffc40ae20d4a7cff0360cd265e95b0e365bbb9e4a2e6a06
results-80200-15 Expired
6.9 KB
sha256:15ec32d957786ddb09a6724dd93d4ade7524cf276fe80fd89d569cfa9c04bdc3
results-80200-16 Expired
7.13 KB
sha256:b3a5cc57334bd88f4e1ef2575f151197ae3b24c2bbc850dc4d3df16342dee0cb
results-80200-17 Expired
7.32 KB
sha256:25bcd100180c05b4a9cd174710f90924646779c24ce1a9a919af67ff587341e2
results-80200-18 Expired
6.85 KB
sha256:8c0a473380f221023daf6ee55601ee1c69748dc0474bc7075177be45dc849376
results-80200-2 Expired
7.21 KB
sha256:1d52bb8e9c138a3a57985d9b312a50f0e1ee97abeb7657c58ec45a852d862ae3
results-80200-3 Expired
7.17 KB
sha256:597b9569f66e12256c740ecc564138a53aab789fbdab6ea7803e8fbf5df8f4ca
results-80200-4 Expired
6.18 KB
sha256:d2060697cc24b74b4fb38ada985a649be37d4086c322fef9ef840592a9b85206
results-80200-5 Expired
6.39 KB
sha256:2f5dc0da7135ab078df2cf5558ff46ca91ad9d7c75b5c906e9f339fd47e71f1d
results-80200-6 Expired
6.72 KB
sha256:131689dea0a8d9073c7cdcbf0408dedd7ce62052af8c3ffd92530b5783ead342
results-80200-7 Expired
6.95 KB
sha256:797975e39c39be884e985c08a0fc241b188e4d5cf5dd42aeda1ef918c053047c
results-80200-8 Expired
6.21 KB
sha256:355be889cdeb3b7806a076b2800fe36d6fd0f380c062dda73871ce63d8cb8641
results-80200-9 Expired
6 KB
sha256:4394a543bb4f6b1f720822990f7254a87988910cbfe095b1f2fc9da8ffc96cbd
results-80300-1 Expired
6.12 KB
sha256:f419202476e3ce09e46891ae9abb48452c444b755545e52933f3369413dbda91
results-80300-10 Expired
7.96 KB
sha256:f9ad6deda6f3089559f10b9f9757cfc5f8d37681adba5e809a7cc665b03523dd
results-80300-11 Expired
7.06 KB
sha256:81a73ca2f2a077e283295c9bed8512a16c1687c301cdfc96ab45877bf3fd8a7f
results-80300-12 Expired
6.64 KB
sha256:ecf442cbb50ceb62a76d4cb45cca7d3be22cd7accb5952875c1b9a62257bb09a
results-80300-13 Expired
10.7 KB
sha256:84848b22491d746847b5f476d3e8e909e2493b3887bcdf58873280bebb550606
results-80300-14 Expired
13.4 KB
sha256:3d0ba2643b785e7603ce122125bc46e76f5c34050206e4f88a45f6799f7bced1
results-80300-15 Expired
6.81 KB
sha256:c265ca813a0c1809f6664b96fb5e350f5c86fc1b9a42af8dcc385d55a76110c2
results-80300-16 Expired
7.05 KB
sha256:8ab73f0fe0790a960505871077e3910315a3bccee7a24ba20e6c67284791951e
results-80300-17 Expired
7.25 KB
sha256:7969289a8623bfcc97e95b8853429b0c482f49cb2cdd618a286053e7cf384e53
results-80300-18 Expired
6.85 KB
sha256:5a25c7f84342f8024dc710e6e253d50dc698e9429ce444243a27003af635cbaf
results-80300-2 Expired
7.21 KB
sha256:5c342469ec60a511bd265c4f8c43c15b0a3bc1d52dcb98f0a27544bea90db308
results-80300-3 Expired
7.17 KB
sha256:2e74b444520e20da45e9b6efc9d030085efeafcdbc0434e60299781c3437c5de
results-80300-4 Expired
6.18 KB
sha256:36ece8554a8e51c87c3490e0c859aaaf1c80ce44be454f65d49c4c6883c896f8
results-80300-5 Expired
6.39 KB
sha256:09b44ab4e12ab76d3f86603dc36269333cfa056f1306982fe5d7dce25034d55f
results-80300-6 Expired
6.73 KB
sha256:5505bf38b790e27386c4ff85aaded4b084dba6ca4e52f7dd47e095e6ee6e4bd1
results-80300-7 Expired
6.95 KB
sha256:97e540de817d6d2b74e2d20eb28cf614eb92a3ce7756411a8e06310873361077
results-80300-8 Expired
6.21 KB
sha256:8c69994462fa01e82647a1da4f2b9531844ed6caf1275d44c3954604c3ab0daa
results-80300-9 Expired
6 KB
sha256:f86c4a98b985013318770ebd716e1b55d9f187e7cbe4f68ce01664ab9c797291
results-80400-1 Expired
6.12 KB
sha256:0f3256a4c6aa91eac9aceaab43083bf69f6395415e897c047b04d7aaa6cb3c71
results-80400-10 Expired
7.96 KB
sha256:389f88724e6881f0201bc780b103ab98235e2723e15fbb13cf53494142805002
results-80400-11 Expired
7.13 KB
sha256:694f328cbbebd9f18b7df5df47dee8311954b08bbca66e350c03a1788b4e9b52
results-80400-12 Expired
6.64 KB
sha256:86dcf30f6bcf624234410b4bc45cc393d884ead2b035227dc85e9bc32af73c87
results-80400-13 Expired
10.7 KB
sha256:e107f28aa16fcc5389655f7590af6fb51c9d9cb1bcde5a303842224b0d57df9e
results-80400-14 Expired
13.4 KB
sha256:d77a5888864d1f6b809c3e684e286a4450edfba06edd516573095a5b0759a778
results-80400-15 Expired
6.81 KB
sha256:135562c7f0c1a9115d6781a2118ee4a615a2069412df0b0c049766def3970a80
results-80400-16 Expired
7.05 KB
sha256:d1c58d09025a2f38eb5f87734b38807567ea2d892c19437b83ff284bce365ba5
results-80400-17 Expired
7.25 KB
sha256:03d94a779aff0aa1bf51f9a9e2c6322867282f1f3a998f2126c6958327a55389
results-80400-18 Expired
6.85 KB
sha256:3391c10834b687bdb1d4a86c3234cc2463c0f5bd70949750a8ea8de6f1ad5c63
results-80400-2 Expired
7.21 KB
sha256:2de9301633ef30292f9af062df2d0c28c4c0de83488103d64d134ae43de50af4
results-80400-3 Expired
7.17 KB
sha256:75927eb0430c0a1cf76dabc3231f403c9a1a2ef71d405f187fd2216113feecd6
results-80400-4 Expired
6.18 KB
sha256:6cced95009187180dc3ca558a1e83461f1e313904633c6cd0f24ff74eda44631
results-80400-5 Expired
6.39 KB
sha256:7f7e0666b25a4b30b4b8999f96136e8f3f4b601a849b87bb93008b2c1789b461
results-80400-6 Expired
6.81 KB
sha256:b8051e2a3d0dd0763ba9bd2abb82b4d18ca5a47e4d5197c0d5af9abe97574811
results-80400-7 Expired
7.03 KB
sha256:6742c5cbd7372e25269daec5b1d3e479d70f8cb8e5d74eb20d9824eec8013e02
results-80400-8 Expired
6.21 KB
sha256:948a43a46bdb4ae22f00009d47c5e15a97891a66e701024cba8d5916a1115c1c
results-80400-9 Expired
6 KB
sha256:5d0831e60267d4efa832f26b7437468c431529fdb7784d2cba5d385b98113056