Merge bot PR

Avoid falsely specifying never types via `count()` #3087

Sign in to view logs

Triggered via pull request March 22, 2025 20:14

herndlm

opened #3898

herndlm:count-avoid-never

Status Success

Total duration 26s

Artifacts –

merge-bot-pr.yml

on: pull_request