^{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.