Skip to content

Conversation

@pradyunsg
Copy link
Member

Identified while working on #290

Newer versions of mypy are better at following code flow, and assign
Any types to our reimplemented cast function. This commit significantly
restructures our typing.cast re-definition, to make it more robust.
This allows for some significant cleanups in our typing helpers, and
makes it much easier to document our... workarounds.
@pradyunsg
Copy link
Member Author

I did a whoopsie and squash-merged #292 directly instead.

Ah well, we can close this one now, I guess.

@pradyunsg pradyunsg closed this Apr 8, 2020
@pradyunsg pradyunsg deleted the better-typing branch April 8, 2020 12:55
@pradyunsg pradyunsg restored the better-typing branch November 28, 2020 14:23
@pradyunsg pradyunsg deleted the better-typing branch December 22, 2022 22:38
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants