Empty Collection Handling with `next`

There are some issues when using next when providing an empty collection as a default, let's take this example:

from collections.abc import Iterable


def foo(iter: Iterable[list[int]]) -> None:
    next((item for item in iter if len(item) > 5), [])

This leads to errors in Pyright, as [] is treated as list[unknown]. Pyright Playground.

Here are the current next overloads:

@overload
def next(i: SupportsNext[_T], /) -> _T: ...
@overload
def next(i: SupportsNext[_T], default: _VT, /) -> _T | _VT: ...

I would propose changing the second one to:

def next(i: SupportsNext[_T], default: _VT | _T, /) -> _T | _VT: ...

This would fix the above issue, as in the case an empty list or othe rcollection Pyright could just infer the type as _T, while not disrupting other cases in which the types differ.

With this change in Pyright:

from typing import reveal_type

def foo(iter: Iterable[list[int]]) -> None:
    result = next((item for item in iter if len(item) > 5), [])
    reveal_type(result) # Revealed type is `list[int]`.

Bắt đầu với hai overload next hiện tại được hiển thị trong issue và tái hiện ví dụ trong Pyright Playground được liên kết. So sánh kiểu được suy luận với kỳ vọng của reveal_type; hoàn tất khi giá trị mặc định rỗng được chấp nhận và kết quả được suy luận là list[int] mà không làm ảnh hưởng đến các trường hợp có kiểu mặc định khác nhau.