TYP: remove a `type: ignore`
This pull request is stale because it has been open for thirty days with no activity. Please update or respond to this comment if you're still interested in working on this. status here? Thanks for the PR, but it appears to have gone stale. Feel free to reopen when you have time to revisit.  