NoReturn should be assignable to any type

[erictraut]

Discussed in #2920

^{Originally posted by JelleZijlstra January 22, 2022}
I was exploring pyright's treatment of NoReturn (in preparation for adding and documenting typing.Never) and noticed that pyright allows passing NoReturn to parameters of type object. For example, this typechecks:

def f(x: NoReturn):
    repr(x)  # repr() takes object

Is this an intentional behavior? It's not what I expected on first principles but it seems useful in practice.

[erictraut]

As discussed, NoReturn should act as a bottom type and is therefore assignable to all other types. Currently, pyright does not handle this correctly. This will be fixed in the next release.

[erictraut]

This is included in pyright 1.1.215, which I just published. It will also be included in the next release of pylance.