New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Fix InferType
and improve type-checker tests
#3382
Conversation
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks good - can you please also update the pinned Python version in requirements/tools.txt to confirm this fixes the problem?
whole-repo-tests/test_mypy.py
Outdated
@@ -16,6 +16,8 @@ | |||
from hypothesistooling.projects.hypothesispython import PYTHON_SRC | |||
from hypothesistooling.scripts import pip_tool, tool_path | |||
|
|||
PYTHON_VERSIONS = [f"3.{v}" for v in range(7, 11)] |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I think I'd prefer to write these out as literals, unless we can pull them out of the autoupdated CI config? Just thinking about how they'll stay up to date. I think we can also test against 3.11?
You mean pinned pyright version, right? |
Closes #3379
cb05529 and db5ed42 should make the test suite fail. (our pyright tests would fail for db5ed42 if we were using the
pyright
1.1.250 or above)