[code-quality] Catching multiple return types

Is there a static checker which will catch multiple return types? Consider this dumb example: def func(a, b, c): if c: return (a, b) return 0 I thought pylint had a checker for that, but running with --rcfile=/dev/null didn't complain about the different types being returned. Is there perhaps a checker for that which isn't enabled by default? Or another static tool which will catch it? Thx, Skip