Bug Report
This commit glyph/Pomodouroboros@0d72cbb prevents a mypy error, while making no semantic changes.
To Reproduce
Unfortunately I cannot construct a minimal reproducer.
- Check out that commit, replace the call to
observify(SessionManager) with @observable() above the declaration of SessionManager.
mypy src/pomodouroboros/model/sessions.py -> no error
mypy src/ ->
src/pomodouroboros/model/sessions.py:150: error: Cannot determine type of "observable" [has-type]
Found 1 error in 1 file (checked 58 source files)
- notice the error.
Expected Behavior
I would expect no error here, or at the very least, the same error with or without running mypy on the rest of the codebase.
Actual Behavior
See above.
Your Environment
- Mypy version used:
mypy 1.19.1 (compiled: yes)
- Mypy command-line flags: none
- Mypy configuration options from
mypy.ini (and other config files): see project
- Python version used: 3.13.12