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
_issubclass and bound_typevars argument #24
Comments
Sorry, this is a documentation issue.
|
Just looked into the doc and found out that Maybe a flag to tell |
Yes, I understand this idea about the output/memory. This is necessary to type check outputs of the function for example. But I do not understand why having this output changes the outcome. :-) I would assume that type-wise the output should be the same, no? Only that this memory is discarded? |
I didn't want unassigned typevars to be treated as |
…d_typevars, c.f. #24. Improved doc of _issubclass and _isinstance.
As of 74ef4b9 |
Hm, nice. But I am not sure how does this help my case above? :-)
I think this is related, but not sure if it addresses the question that I think |
Only in the sense that |
|
Hmm, I thought |
Oh, you are right. |
I think this can be closed now, no? |
I kept it open as a reminder to improve documentation. I think doc of _issubclass explains it properly now. I suppose the quick manual should mention this behavior as well. Anyway, I'm fine with closing now. |
Why does
bound_typevar
change result fromFalse
toTrue
?Also, why code never checks if
superclass
is inbound_typevars
? I think it just relays on catch-allexcept
. I think such approach might hide some bugs?The text was updated successfully, but these errors were encountered: