I did the test on Fedora 44 this time. - The segmentation fault is gone.
The reported msg has changed ! - Don't know if this is relevant ?
Here's the relevant part of the log:
...
OK (skipped=3)
QBasicTimer::start: current thread's event dispatcher has already been destroyed
< Multiple instances of the same msg deleted ... >
QBasicTimer::start: current thread's event dispatcher has already been destroyed
mypy_leo.py
leo/plugins/todo.py:548: error: Incompatible default for argument "prog" (default has type "int | str", argument has type "int") [assignment]