For anyone who is interested, I made a quick plugin for

Ty

type checker. Mostly just to suss out some of the configuration tweaking that we'd need to do to mainline it. It can be used in pants.toml with a

plugins

- though vendoring it in a repo is likely a better approach: https://github.com/sureshjoshi/pants-plugins/tree/main/pants-plugins/experimental/ty https://pypi.org/project/robotpajamas.pants.ty/0.0.1/

How is the stability of the pants-pyrefly plugin for those using it? I’d like to use Ty preferably but as it’s still in beta I’m looking at Pyrefly.

Yeah, if we can get some feedback - I wouldn't mind mainlining these. I know there are some small quirks that I think there might be PRs for (or open issues), but I was hoping to collect more data

we've been using it with these fixes for ~3 months github.com/sureshjoshi/pants-plugins/pull/117 - working well and much faster than mypy

🥳