KotlinIsland / KotlinIsland/basedmypy
Support `typing.Never` in runtime checks
Open
basedtyping
feature
- Dominant language
- Python
- Stars
- 202
- Forks
- 6
- PR merge metrics
- No merged PRs in 30d
Description
Most of this can be done in basedtyping except mypy error in `isinstance`.
As the based implementation is now a `type` not an instance, it's valid to use in `isinstance` and `issubclass`.
https://github.com/KotlinIsland/basedtyping/pull/21
Contributor guide
Research direction
Start with the linked basedtyping pull request, then trace the mypy handling for runtime isinstance and issubclass checks. Verify that typing.Never is accepted in both checks and that the existing mypy error is resolved.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- python
- Domain
- devtools
- Issue type
- Feature
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100