KotlinIsland / KotlinIsland/basedmypy

false errors with `isinstance` and `Intersection`

Open
#762 0 comments 0 reactions 0 assignees View on GitHub
topic-intersection
Dominant language
Python
Stars
202
Forks
6
PR merge metrics
No merged PRs in 30d

Description

```py
from basedtyping import Intersection

class A: ...
class B: ...

class C(A, B): ...

AB = Intersection[A, B]

print(isinstance(C(), AB))
```

Contributor guide

Open the contributing guide

Research direction

Start by running the supplied Python reproduction involving basedtyping.Intersection and isinstance, then inspect the type-checking path that reports the false error. Done means the example no longer produces the incorrect diagnostic and a regression test covers this case.

Written by the indexing model from the issue text.

Assessment

Tech stack
python
Domain
devtools
Issue type
Bug
Difficulty
3/5
Estimated time
1-2 days
Activity status
Stale
Clarity
Mostly clear
Newbie friendliness
45/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.