gh-104050: Argument clinic: improve typing around adding C converters#107209
Uh oh!
There was an error while loading. Please reload this page.
Conversation
| CConverterClassT=TypeVar("CConverterClassT", bound=type["CConverter"]) | ||
| defadd_c_converter( | ||
| f: type[CConverter], | ||
| f: CConverterClassT, | ||
| name: str|None=None | ||
| ) ->type[CConverter]: | ||
| ) ->CConverterClassT: |
There was a problem hiding this comment.
By using a TypeVar here (and with the other functions in this PR), we can make the annotation much more expressive.
The annotation currently says "you put in an object f that's some subtype of type[CConverter], and you get out an object that's some subtype of type[CConverter].
The new annotation, by contrast, says, "you put in an object f, and you get out an object that has the same type as whatever the type of f is, as long as the type of f is a subtype of type[CConverter].
There was a problem hiding this comment.
As an example, with the following snippet:
x=add_c_converter(bool_converter)Mypy would have inferred the type of x to be type[CConverter] with the current annotation. But with the new annotation, mypy should be able to infer that the type of x is bool_converter.
3 participants
Some of this looks a little complicated at first glance, but it's hopefully not too hard to grok