[mypy] allow_redefinition = True warn_no_return = False