ruff-ecosystem results

Linter (stable)

✅ ecosystem check detected no linter changes.

Linter (preview)

✅ ecosystem check detected no linter changes.

Formatter (stable)

✅ ecosystem check detected no format changes.

Formatter (preview)

✅ ecosystem check detected no format changes.

Does this use typing.Never in Python 3.11+?

Does this use typing.Never in Python 3.11+?

They're effectively identical in regards to type-checkers. Pyright (for Python 3.11+) infers the correct return type for a function like the one given in the example as NoReturn. typing.Never is used as a bottom type in situations like this:

def int_or_str(arg: int | str) -> None:
    never_call_me(arg)  # type checker error
    match arg:
        case int():
            print("It's an int")
        case str():
            print("It's a str")
        case _: # type checkers considers this unreachable
            never_call_me(arg)  # Pyright would say `arg` is of type `Never`.

Does this use typing.Never in Python 3.11+?

They're effectively identical in regards to type-checkers. Pyright (for Python 3.11+) infers the correct return type for a function like the one given in the example as NoReturn. typing.Never is used as a bottom type in situations like this:

def int_or_str(arg: int | str) -> None:
    never_call_me(arg)  # type checker error
    match arg:
        case int():
            print("It's an int")
        case str():
            print("It's a str")
        case _: # type checkers considers this unreachable
            never_call_me(arg)  # Pyright would say `arg` is of type `Never`.

Official Python docs state that starting in 3.11 typing.Never should be used instead of typing.NoReturn. Looks like this has been addressed by #9213.