-
-
Notifications
You must be signed in to change notification settings - Fork 5.5k
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
intersect: fix a minor soundness issue with supertypes #47813
Conversation
When doing intersection, we might end up with a value in `env` (as the only possible *value* for that parameter) without properly considering that the parameter might be a TypeVar.
666aeb0
to
38f1fbe
Compare
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.
LGTM.
@nanosoldier |
Your package evaluation job has completed - possible new issues were detected. A full report can be found here. |
BitArrays issue should be fixed by #47830, rest seem to look like flaky package tests Ripserer may need investigation |
@nanosoldier |
Your package evaluation job has completed - possible new issues were detected. A full report can be found here. |
When doing intersection, we might end up with a value in `env` (as the only possible *value* for that parameter) without properly considering that the parameter might be a TypeVar. (cherry picked from commit 26a7dbb)
When doing intersection, we might end up with a value in
env
(as the only possible value for that parameter) without properly considering that the parameter might be a TypeVar.