Join GitHub today
GitHub is home to over 40 million developers working together to host and review code, manage projects, and build software together.Sign up
Fix interaction of isinstance() with Type[...] #6419
I was thinking about this, but it looks like this part of the type system is inherently complex. (Especially if we want to keep it usable in practice.) Also there are still many holes in the type visitors, just few lines above is:
def visit_overloaded(self, left: Overloaded) -> bool: # TODO: What's the right thing to do here? return False
The meet visitor (and related helpers) probably require the most attention.