KotlinIsland / KotlinIsland/basedtyping

investigate this unreachable, redundant-expr

Open
#51 0 comments 0 reactions 0 assignees View on GitHub
todo
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

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.