You determine which is right and report a bug in the other. After that you add a type ignore statement to keep the wrong one happy until the issue is resolved. My current workplace I have two type checkers enabled (mypy/pyright) and that’s our way of dealing with it.