189 errors (156 suppressed) in project which pyright says has none

[davetapley]

I did pyrefly init per the docs, and it modified my pyproject.toml.

However a pyright --level error exits 0 with:

0 errors, 0 warnings, 0 informations

and pyrefly check exits 1 with:

 INFO 189 errors (156 suppressed)

Is that expected?

[yangdanny97]

Is the project open-sourced/can you share more details about it?

189 errors (156 suppressed) means there are 33 errors that aren't covered by existing type: ignore comments in your project

I can't be sure whether this is expected until we look at what the errors are, but I imagine that some of them could be false-positives due to some bug/gap in Pyrefly. We'd appreciate any bug reports or repros you can provide for these issues.

In the meantime, errors can be bulk-suppressed using pyrefly check --suppress-errors

https://pyrefly.org/en/docs/error-suppressions/#upgrading-pyrefly-and-other-changes-that-introduce-new-type-errors

[davetapley]

@yangdanny97 understood. I already have a few MREs for false-positives which I'll create issues for.