Spurious "return statement in function which does not return"

[bwo]

Consider:

import sys
from typing import NoReturn, Callable


def foo() -> NoReturn:
    sys.exit(1)


def bar() -> Callable[[], NoReturn]:
    return lambda: foo()   # line 10


def baz() -> Callable[[], NoReturn]:
    return foo

Running mypy v 0.961 against a file with these contents gives the error "foo.py:10: error: Return statement in function which does not return".

But, the return statement is in a function which does return, returning a function which does not. There are no complaints about the definition of baz, presumably because no function is defined in it.

[AlexWaygood]

Duplicate of #10520