mypy error about ElementTree[Element[str] | None]

[nojhan]

After having applied PR #220 and PR #218, poetry run make returns the following (very strange) error from mypy:

$ poetry run make
ruff format kalamine
16 files left unchanged
ruff check --fix kalamine
All checks passed!
ruff format --check kalamine
16 files already formatted
ruff check kalamine
All checks passed!
mypy kalamine
pyproject.toml: [mypy]: Unrecognized option: module = ['progress.bar']
kalamine/xkb_manager.py:389: error: Argument 1 to "get_rules_variant_list" has incompatible type "ElementTree[Element[str]]"; expected "ElementTree[Element[str] | None]"  [arg-type]
kalamine/server.py:196: error: Argument 1 to "tostring" has incompatible type "Element[str] | None"; expected "Element[str]"  [arg-type]
Found 2 errors in 2 files (checked 16 source files)
make: *** [lint] Error 1

[fabi1cazenave]

I assume this is the strange type check you’re talking about:

kalamine/xkb_manager.py:389: error: Argument 1 to "get_rules_variant_list" has incompatible type "ElementTree[Element[str]]"; expected "ElementTree[Element[str] | None]" [arg-type]

I couldn’t get it either. I’ve had to disable the type check for now, see #234. :-(