Carl Meyer
Carl Meyer
> What is `~A`? It seems to me this is effectively `Any`, but with the added restrictions that it cannot inherit from `A` It is `object`, but excluding all instances...
> `B` could be considered a subtype of `~A` `B` is not a subtype of `~A`. The type `B` includes all instances of `B` or any subclass of it. The...
> requires strictly adopting the set-theoretic subtyping definitions, something which hasn't been fully done in python. The typing spec has adopted the set-theoretic subtyping definitions as the intended semantics of...
I'm not sure how much we can escape specifying the behavior of negation types by saying they are not user-denotable. They still must exist (because `TypeIs` exists, is defined in...
I think that it is a mistake to conflate "existence of an attribute" and "type of an attribute". An annotation of `x: Never` on a class is a declaration that...
Heh, file this one under "things I did not expect to get an issue about." Lesson learned: everything will be noticed :) Thanks for the report! Your "unrelated" code is...
Wow, awesome, thank you for working on this! It looks like the diagnostics that this PR removes on lines 81 and 82 of the conformance suite, in `constructors_call_type.py`, are supposed...
#350 is also somewhat related
I'm not sure there'd be a need for synthesized typevars here, any more than anywhere else in bidirectional checking. I think this is just one case of the general issue...
Yes, #2043 is the one I was thinking of. > we need to know what the type context needs to be in order for the call to __setitem__ to succeed....