Bug Report. Mypy seems to require an explicit return statement for non-empty functions with an optional return type. This is similar to #3974, but in that case the example had inconsistent return ...

So it seems that mypy treats the externally-defined return type as a potential alias for None or Any, but this is very rare. (Even when it happens, mypy can assume it is going to be called again with ...