Skip to content

Avoid falsely specifying never types via count() #10513

Avoid falsely specifying never types via count()

Avoid falsely specifying never types via count() #10513

Triggered via pull request March 22, 2025 20:14
Status Success
Total duration 4m 20s
Artifacts 128

issue-bot.yml

on: pull_request
Download data
24s
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 Expired
572 KB
sha256:5d67499e1fd3104fc4569a1b2757e584362fd31e9b6180314c43e2a7e1037bb4
playground-cache Expired
497 KB
sha256:2974d81c77e64d89fe99179d4e7e55a9e7bdd93be7f8f1500fca8da43084cacd
results-70300-1 Expired
9.05 KB
sha256:bc05c5078a58770dafbc5eb16d57640aaa502b9a6e0c38fd4ed5099da4b977cf
results-70300-10 Expired
8.19 KB
sha256:f9885042640500d6429ae66b3087595e1a42e5e0db5651d17f7fef49b22c144e
results-70300-11 Expired
8.91 KB
sha256:06588ffe006169b5dc58ed3970e9c6cf4868b10aa65f2b757611cf26a2afd2dd
results-70300-12 Expired
8.37 KB
sha256:14b24c53209970aa6753ca45545e279d87e36ffba4fef3fcf2c69237ced2d6ad
results-70300-13 Expired
9.82 KB
sha256:3ff85ad078ef74fc585d131550e39193086c2b8c6d88a238d242e949b851a12c
results-70300-14 Expired
9.9 KB
sha256:d0381cd548eae147660897cf7b6829374316c364138dc74bf0136b1c7240f11b
results-70300-15 Expired
9.55 KB
sha256:f58b7cf983b6664e8523b92c845365b4290d34f2443ef23ed14e331555f553ca
results-70300-16 Expired
7.92 KB
sha256:cfe025be71a3019c21a61ded4bbe5cee1b500af6920c933102277dca6db6c804
results-70300-17 Expired
6.37 KB
sha256:16b63246fd9c00e76146d4e05198e01ed5aced90f33a373ed487dc930b41818e
results-70300-18 Expired
8.62 KB
sha256:86268058887ef414502ba8fba97249fb04e6c0106e5ae4009c6b7070a88a1c86
results-70300-2 Expired
8.87 KB
sha256:b024734a2f6a5a5da00fb58c5f84aa1e28a0d5235988eb3be35a180cea399545
results-70300-3 Expired
12.6 KB
sha256:1aeda051a096ade04475425d74836235c4fc330e2bf01683699ee9eaf060cc52
results-70300-4 Expired
7.23 KB
sha256:aaabff4f61d8b54346e4d3fc4741ad857d15b505f14e9962a66ff6759d2914a5
results-70300-5 Expired
7.38 KB
sha256:33ef04607c2e9daf53a522bf08024aa31f942b8cf28ffb9dc39af397cc100f77
results-70300-6 Expired
8.6 KB
sha256:0c58c8930234bb4b18b052d39354ce724047fff7d38b81a99b0045206d862426
results-70300-7 Expired
8.09 KB
sha256:282be9d2fd1080cca91fa04437b58de69419232985b1e606daf17611ded51003
results-70300-8 Expired
7.39 KB
sha256:ce69697da51b178f3b733cb7dc25ce050578b3763b4b697697c2d1f1ddf8bd23
results-70300-9 Expired
9.53 KB
sha256:d7512245226fa4bc8682746a6b075324b82cdad27c365f403bcb63db1fe7f6d1
results-70400-1 Expired
8.93 KB
sha256:57e34d1c8277a497c5732775927bbab5f9e8a2fb717174b2f266ffa63ef98a9a
results-70400-10 Expired
8.19 KB
sha256:eed259194759ad375ad6c3ba7417bd20e0333b436de9fad7398f81ca613500fb
results-70400-11 Expired
8.88 KB
sha256:171436ed70e56353473cb33ec9a014ce064c49f293e9410d8679de51542bd6ff
results-70400-12 Expired
8.37 KB
sha256:041d21872cd626298f9a43f520c77496aa8b6fa1a03249250e75f30b6df8b5c3
results-70400-13 Expired
9.77 KB
sha256:ea9e061fd6b81dbaed446be784f1d730e1cdb899ffb6d7b9a3fa597888b2bb8d
results-70400-14 Expired
9.91 KB
sha256:4a0b0880975764e78d211eff2784c35a95862864b708cd3ad72a3fe46745ea91
results-70400-15 Expired
9.55 KB
sha256:448d68c4685db8473fa1e8f39756a4cada43590252806d32b7364cd6b86185a3
results-70400-16 Expired
7.92 KB
sha256:80cbf290e23c17a6a3bc2e73af8dc3b90e52785d3b47b681ece03a7f0c217d5b
results-70400-17 Expired
6.37 KB
sha256:683ab333953224843be2133dae25c48bc5e7e6ff2e8ff7aa9cd93059a486eeae
results-70400-18 Expired
8.63 KB
sha256:def13fe3a6ce1dbf12a4f9858669ac3f8d2aa6370da22801ccd1fe2ada8ce581
results-70400-2 Expired
8.72 KB
sha256:64c1a53bbc9737cfc45e2a771e8b167b0c466e0de5db606f15107b2bdaf37ab0
results-70400-3 Expired
12.4 KB
sha256:f386c4d908c4df19096d8c7822ea00ffce2c0448ac85cc7eb81002014abba643
results-70400-4 Expired
7.23 KB
sha256:6d752fa6b25c7aae18c1724a5b6adfb63333d7385bf355226ce1be711112bdad
results-70400-5 Expired
7.38 KB
sha256:f316591b08b07c306a1b6cfc016e9b6bd9407a2dbcdf8c84e8c0597c674b12cf
results-70400-6 Expired
8.6 KB
sha256:976b385dc3e1e617cd048f0b8ed5b75f15c27b7bd22ea0843ba478187e85bd21
results-70400-7 Expired
8.02 KB
sha256:ad781eda524f8f90ca61caa1e3669d2a638d871229be7731e5b7eaaf13210bd1
results-70400-8 Expired
7.34 KB
sha256:39e82a4b0a92b2f037eef62faedab77caab485e923d20e9da023622e9346e5b1
results-70400-9 Expired
9.54 KB
sha256:19035379688e16280e62c1d4d98443c3358117259154e20b1d54abc7a42d7973
results-80000-1 Expired
7.13 KB
sha256:9d9444228b56f5df201efc451ad0bab206b1f1b5ec40f9f46d6e1986e7bf288a
results-80000-10 Expired
7.59 KB
sha256:affce570dfb11de508c6f7464aff4f9a8ed1c409fb700cd052cbfcb473dc0246
results-80000-11 Expired
7.82 KB
sha256:5bea15ef243c133d3bc152269ac5f23fe311b38a11da80be3fe7df0e61284e74
results-80000-12 Expired
7.77 KB
sha256:9e4b8e419641a86b0b3ea39664fd80584aef633ad1373232413d862d0e6154ff
results-80000-13 Expired
8.05 KB
sha256:90a89f602838611d40798c55e22b038a92844dca1a6b18df8e4c3abbefa5387b
results-80000-14 Expired
7.19 KB
sha256:8f70c99724a1d26a0cc7969822246e1606773eed023ff4ea3ff75c3663249088
results-80000-15 Expired
8.13 KB
sha256:e207e5875df6a05cee23d79ef85778ca03eaaec3cd6d57d33d400c1853b63b94
results-80000-16 Expired
7.25 KB
sha256:b6c0d733e8827992f4c91acaa303897b7b31240dcfa38769374a05d4bdf2505c
results-80000-17 Expired
6.31 KB
sha256:f34cd6dc5b51116c9dd108e2dfed976b1b230bb900c7de344f9f88d815b99ce3
results-80000-18 Expired
7.49 KB
sha256:c622dc6b5d2b38888f79f8cda7722639e3686695e61e075211aab2878534e46d
results-80000-2 Expired
7.59 KB
sha256:9a6f1f188a84a506acdcde5173800af82b96143b9c645a9334cc7b215492e6a8
results-80000-3 Expired
11.4 KB
sha256:47abe6ffaba1a19d2c476e00adae3a9bff730d1d493b2e8732e7c676558fbb70
results-80000-4 Expired
6.6 KB
sha256:700b51875152a28496c660027006b4f5bc741a84eb86bbc4f0708b67e6ff9367
results-80000-5 Expired
6.78 KB
sha256:41d3f0bb60b6bc6dcb5b9e1c97fdbd846421d6e074b8b0673e3dbe8d2a5af610
results-80000-6 Expired
7.88 KB
sha256:245cbad10ac9b49f1401bbb8047407759b91528757be446f6dc47ce753c7e6d9
results-80000-7 Expired
7.54 KB
sha256:a1373923e63ef7999247379b15f75dfa51f3ceb143903abe20270d826860974e
results-80000-8 Expired
6.82 KB
sha256:d26bebab4635d1375efa2380bea8ceaad32b88634038a8a881c2690ae20de92e
results-80000-9 Expired
7.59 KB
sha256:d63fd639710fcafd22cd4f1ee3bb05b4147f67f32cd316cc9ba20124ca8c89b7
results-80100-1 Expired
7.02 KB
sha256:be16d008b49aa815e0bc23c7e1f09246cc9c25b828421429c608cf757fa0d4cc
results-80100-10 Expired
7.79 KB
sha256:481406f28e8ebd31dd372d1df187ae2c2f0cff2326571bcd469ad30964a687fd
results-80100-11 Expired
8.01 KB
sha256:ce132f990ec1ec569bc14b515095f06bc6c0395d59b5c65202937878ff2a865e
results-80100-12 Expired
7.97 KB
sha256:73bc36c35744462e34a616fca817623cd609f09513c97ec260a55466f64d8ce9
results-80100-13 Expired
8.02 KB
sha256:f8b3c16031223c9f20dc5a575ad74524ebe01cb649c676367be0a9d8c5faca2e
results-80100-14 Expired
7.26 KB
sha256:c77b1a769486a071cbb93b79f73b3700177b2eb438abbbfa5447d941cc4c37b0
results-80100-15 Expired
7.93 KB
sha256:428264ecd6b548b24d082c266708e664309aeb10139e4e6217008bf625acfbfe
results-80100-16 Expired
7.34 KB
sha256:dbdc4e2df766663b62faf3bfae43c9a20d709fd66df00745c57ecb68b721c82f
results-80100-17 Expired
6.31 KB
sha256:4e8fd2a94076448314f293c0ee1aaf0aafc3da7dfc25dc503888dd0f59130516
results-80100-18 Expired
7.51 KB
sha256:01bd8d907244236f2acc77df41b35b524cf4d2b9e857fcc4da19fba6cc5fe74b
results-80100-2 Expired
7.64 KB
sha256:a53526020315ba38fd3db65a3b5d7982fd570983d923dfe1b24e40e037766178
results-80100-3 Expired
11.5 KB
sha256:564560ee500b5c7da1627026de5c1244757a32467d55fb7eb995e4f50e8cb6bb
results-80100-4 Expired
6.46 KB
sha256:2b84382786466475dafd05a8f980683270606f0cc78cd5bdb1457b320748e84f
results-80100-5 Expired
7.03 KB
sha256:a0704534b468cad44e305da9ff84bb1e95d28c97bba41e0abc0db5fcd75833c1
results-80100-6 Expired
7.84 KB
sha256:1f0f77d89b35f477764b958f4baa88fb5fd0be00a0d6bc42cc959d847fc759e1
results-80100-7 Expired
7.46 KB
sha256:e33534798e041443131ba5d1a482a0f9b9e79d581f2a53c55c915942d7299a36
results-80100-8 Expired
6.84 KB
sha256:8f4112bca0493a7088611df7eb7c3449bf4843db9823b3151f12faa01ce120a1
results-80100-9 Expired
8.38 KB
sha256:75826964b78fb274b55e5fb8a9a1c9154480292f95831ed892652561433276f4
results-80200-1 Expired
6.98 KB
sha256:5f47d9a3c5549fe90192a0ab3927f663de9a144cd047f826bfe76eb474c0f12f
results-80200-10 Expired
7.69 KB
sha256:cc8b862bac08d000e62868f0bd4dcb65b349a5d15a624bab82e816a2cff3b3e9
results-80200-11 Expired
7.85 KB
sha256:b4970ce9d1303d2fbb24249a0d1abbdcabdad7748d734eba00ab1680f61b75af
results-80200-12 Expired
8.01 KB
sha256:f0b52b02b0850aa17c7dffbd70a9308a4e2b13ae196a92908b839095c50058c3
results-80200-13 Expired
8.05 KB
sha256:de3533e5dab1c2e256beb15b3712e6e7c6aab976f5cefe773cab63ae3faf843d
results-80200-14 Expired
7.26 KB
sha256:816eb500f617d064e414a53800e1b7f3bc60d5f8dc69054687098aa1373fde97
results-80200-15 Expired
7.94 KB
sha256:36061bbe3292c3ba6dfb9d77dded3f8c6d9d6581309917d54c7b266ed47ccfed
results-80200-16 Expired
7.34 KB
sha256:36391c07b818046fa00437721332eb73d6e2a6cccdcf834dafcdbb9e167d047e
results-80200-17 Expired
6.31 KB
sha256:2247544df0ef52bfd5b4c6fc496096ae0487d7e6e91af192d7e1a24b463b5547
results-80200-18 Expired
7.48 KB
sha256:ce3ca1004552e62ccf229a08d56abe490ce277fc7473ef836ccec084438a1f45
results-80200-2 Expired
7.63 KB
sha256:428e014040c882f0d314018152ae15ac2b7d787b73b7fb3405244f2f2659adce
results-80200-3 Expired
11.5 KB
sha256:058aa71ec5f1e8410128a29dff013f5cd754f58b02f027c304ffeeadd3666936
results-80200-4 Expired
6.49 KB
sha256:f3c977abe7a40093e34727ff54dc42233ecc0da918e1f5a646fe963b1179e54d
results-80200-5 Expired
7.04 KB
sha256:d389350f4b1fb28a436539de4c830c1ef4a9c87395396c659b4c878dd0f1e546
results-80200-6 Expired
7.81 KB
sha256:f339cf4c9ef7e7d5abb95ef081778d1086ab52d39d81a8b233b8aeb7918204c4
results-80200-7 Expired
7.51 KB
sha256:e091b32f31b5e091d9d7124d600149c58d90d2af5dcbb58879d045cb68205b4b
results-80200-8 Expired
6.76 KB
sha256:ce8b44d169dc92f9d8b911c5740f0305c0ec8a8aab7bf6a43b010064044cc343
results-80200-9 Expired
8 KB
sha256:04ab629d1924e4d09a1ca10ef54da36822d1b8f1e78417402c0fbac4c8c4465d
results-80300-1 Expired
6.9 KB
sha256:a9f574dcc8f7340c2dbd7d06f9b7b67ac16b7b3bd9f6f174c3aa7e1089af3379
results-80300-10 Expired
7.62 KB
sha256:c921f1fed75f12e8f916bec3c65b125488e4ea1d0951ad9a72dc00dd45d404f7
results-80300-11 Expired
7.78 KB
sha256:c53599509f74117bbd4b1db37f7f60e013ecdcfef653afd07347c0e537c502bc
results-80300-12 Expired
8.01 KB
sha256:d3435db4192bcbcb3e3ecb22fdaf7e923edfabe94ed28fb9ba1d74adb592e124
results-80300-13 Expired
7.92 KB
sha256:fd6f626e007036cce26d125d64c7c23900b899cfaa45530108f5a0bdb4efb79e
results-80300-14 Expired
7.28 KB
sha256:e0360bbbc3255a3fa3f2340a0d4eefd4685d3cb81d2124fc96ef353faefc6b95
results-80300-15 Expired
7.94 KB
sha256:9122c4e5122ade5057c1a0c13aa578a6a88f5c4ea1db8e76d3bd854532320ee9
results-80300-16 Expired
7.34 KB
sha256:5780808dd9451a51c41ab294c0b9336e5bfea72800b9036a7c09350a93e748c5
results-80300-17 Expired
6.31 KB
sha256:7f0e75d0174b6747e9a0f3c766d6862d2a0d3a89f965426ffe02020435b27b36
results-80300-18 Expired
7.41 KB
sha256:dd384ba730102853f6013a3b07adea3398adacb4a949da2509c000d0b7f0c609
results-80300-2 Expired
7.55 KB
sha256:ccfbf0ba39be95c28943756e5fd252cd4a2cdb3a451f70acf355bbf3bcf8645b
results-80300-3 Expired
11.5 KB
sha256:895d0f22d952342280a80f981d0332a95c8ba3ba0ee829a1bd11261e7ad6011b
results-80300-4 Expired
6.49 KB
sha256:306ef5a6f5772dade553b719072c3755d4764d97c2339b07794bc205d79b2f15
results-80300-5 Expired
7.04 KB
sha256:6172af0094318bb3a66dcc81ef8449dd827ada37846c1199a0521d32cd1f24f1
results-80300-6 Expired
7.81 KB
sha256:215c131dfdeaa41183257601920930b129f48db9bbea33ab3b5affc296f78942
results-80300-7 Expired
7.51 KB
sha256:75c92dc7ace84de255ae758acebef23186f27c3380f7431972b9ae3bc3c7754f
results-80300-8 Expired
6.76 KB
sha256:5c8ddd590d380520d5063d8c5d915aae08c91212efe42486d2b37b44ce2df97b
results-80300-9 Expired
8 KB
sha256:bb4add0f4d4a3ae94b98b0f59af6afe3c4d11b1c0e7ef2d068fb69f8a9b32a24
results-80400-1 Expired
6.78 KB
sha256:ae5a8b6b116fec419ecad804bf630e2364d63c72cb89f501be600d08122514c3
results-80400-10 Expired
7.62 KB
sha256:f00f1c99d4bc8060d295df1dc66e78b3359cd3d1658b3f98954c9bd15bd085a2
results-80400-11 Expired
7.78 KB
sha256:20ee8264c220473f4ebbe357e7ccfb9bf78c6e44dea4df211efc14947dfe0284
results-80400-12 Expired
7.96 KB
sha256:8cff76390cbb5c40a2f60507ff1bd7c01b44c462370bffe20c58998379623727
results-80400-13 Expired
7.9 KB
sha256:2a845fd6fcbdeffc81a38a6b80c540611219111db415199903655cfca309e5e4
results-80400-14 Expired
7.28 KB
sha256:c04dfc6c1881d2aa2f07b933b453f045abbbd55a7786fb8e0c8d3bcd8b2bc230
results-80400-15 Expired
8.03 KB
sha256:384d53d16b288e52678118ed02558553c2d44c07e9b3a1fd49e46bea73634664
results-80400-16 Expired
7.34 KB
sha256:0619a8d156bb274cd7e66048b3895986b66051ea59ce2daeb9e60c44c6613fd5
results-80400-17 Expired
6.31 KB
sha256:df63723bf5fd66f5500ccc71e8f7b873abda126b27a51a7389b12e61086d3f3b
results-80400-18 Expired
7.37 KB
sha256:a3640ffbb0e051c25e2bb8b5d99948e73fb3282daf86ff2d2e9d636bcb337922
results-80400-2 Expired
7.55 KB
sha256:c43548ae0b871f98d0b7380fb136e0648a77503d2e7fd9add4d4885b1aaafb53
results-80400-3 Expired
11.5 KB
sha256:35f58e55c9cfe8caeccdd2e45d051b65a01c9adb99bd5b6651cb2f68e0a35ce8
results-80400-4 Expired
6.57 KB
sha256:717cde1c7cd301990eb72dd6f56697f593493e835e2e12aacf13663f53f47034
results-80400-5 Expired
7.04 KB
sha256:4ffb207d59db1259fb0c07150fb52fbcbb374ebfea64843d5cbf858d1a4608cf
results-80400-6 Expired
7.81 KB
sha256:32ffc6151dc99b3de7277ca7768a063274cf5cac57ac33e3b502af26391ade8e
results-80400-7 Expired
7.51 KB
sha256:f61cb3985fbdc0e3fc531a3cc60ad5574cd88ef7ed81fb04efc6a2bdffd1332a
results-80400-8 Expired
6.74 KB
sha256:250a9c753d431169bdc5a591871c9eb48b61fb07f98dd069997e28cee85f1c90
results-80400-9 Expired
7.96 KB
sha256:eccc6d2435ba860f75a79890d0f4b4f9fd61020e5188d4d773c89146b7b698ed