KotlinIsland / KotlinIsland/basedtyping
investigate this unreachable, redundant-expr
- Dominant language
- Python
- Stars
- 12
- Forks
- 2
- PR merge metrics
- No merged PRs in 30d
Description
if not isinstance(generic, TypeVar) # type: ignore[unused-ignore, unreachable, redundant-expr, no-any-expr]
https://github.com/KotlinIsland/basedtyping/blob/da376313c7bf7957416cc00bb57849c3ae45de13/basedtyping/__init__.py#L286
```python
for generic in (
cls.__reified_generics__ if hasattr(cls, "__reified_generics__") else ()
)
# TODO: investigate this unreachable, redundant-expr
if not isinstance(generic, TypeVar) # type: ignore[unused-ignore, unreachable, redundant-expr, no-any-expr]
)
# normal generics use __parameters__, we use __type_vars__ because the Generic base class deletes properties
```
Contributor guide
No contributing guide indexed for this repository
Research direction
Read basedtyping/__init__.py around line 286, starting with the __reified_generics__ loop and its type-ignore comment. Check why the type checker reports unreachable and redundant-expr there; the issue is complete when the cause and any needed follow-up are established.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- python
- Domain
- devtools
- Issue type
- Bug
- Difficulty
- 4/5
- Estimated time
- 3-5 days
- Activity status
- Stale
- Clarity
- Needs clarification
- Newbie friendliness
- 35/100