GH1795 Add pyrefly coverage step

[loicdiridollou]

• Closes test_completeness checks are timing out #1795
• Tests added (Please use assert_type() to assert the type of any return value)
• If I used AI to develop this pull request, I prompted it to follow AGENTS.md.

Adding pyrefly coverage, needed a few tweaks for the data at the top of test files but this is now looking quite good.

[loicdiridollou]

@MarcoGorelli

Tried to add pyrefly coverage to the stubs, interesting failure on the 3.11 versions, let me know if you have some background, yes it is much faster but is it worth the hassle to maintain, not totally convinced.

[cmp0xff]

• It seems worthy reporting to ty
• You can try if sys.python_version: ...
• Alternatively you can use # ty: ignore[invalid-assignment,unused-ignore-comment,unused-ignore-comment] to bypass

[MarcoGorelli]

thanks for the ping! i was looking at this recently, i think there may a simpler way to do it, will update you

[MarcoGorelli]

I've pushed to https://github.com/pandas-dev/pandas-stubs/compare/main...MarcoGorelli:pyrefly-coverage-check?expand=1

It bumps pyrefly to 1.2.0, so that the tool.pyrefly.coverage section in pyproject.toml can be used. I've excluded tests and am using the --public-only flag, so that the rest can all stay the same

Note that #1819 added missing annotations brought up by pyrefly coverage check, and that's already been merged, so that's why nothing else needs changing now

If you agree, do you want to cherry-pick from my branch and update this PR?