KotlinIsland / KotlinIsland/basedmypy

daemon skitz moment - "Final must be initialized" false positive occasionally appears and disappears when unrelated changes are made

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

Description

```py
class Foo(ABC):
@property
@abstractmethod
def relation(self) -> Bar: ...

objects: Final[Collection[Baz]]

def __init__(self, objects: Collection[Baz] | Baz):
self.objects = [objects] if isinstance(objects, str | int) else objects
```

2.9.1

Contributor guide

Open the contributing guide

Research direction

Start with the provided Python example on basedmypy 2.9.1 and reproduce the daemon's intermittent "Final must be initialized" diagnostic. Compare runs after unrelated changes; done means the false positive no longer appears or disappears without a relevant change.

Written by the indexing model from the issue text.

Assessment

Tech stack
python
Domain
tooling
Issue type
Bug
Difficulty
4/5
Estimated time
3-5 days
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
30/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.