[Pay08]

Exactly my point. If I need to run 300 external tools for a language feature to be worth a damn, why is it a language feature?

[wiseowise]

‘uvx ty check’ or ‘uvx pyrefly check’. That’s hardly 300 external tools.