Odd error message for invalid use of tuple(): expected "Iterable[Never]"

tuple(1) is invalid, of course. But what error message does it bring?

main.py:1: error: Argument 1 to "tuple" has incompatible type "int"; expected "Iterable[Never]"  [arg-type]

Well that's odd! Considering that it can take iterables of all sorts of things, and not... impossible things.

In fact, this has to be wrong, because when I make my own function with Iterable[Never] argument, it doesn't like taking iterables of other things

from typing import Iterable, Never

def f(a: Iterable[Never]) -> None:
    pass

f([1,2,3]) # main.py:6: error: Argument 1 to "f" has incompatible type "list[int]"; expected "Iterable[Never]"  [arg-type]

Inizia riproducendo la diagnostica in main.py con tuple(1), quindi confrontala con l’esempio Iterable[Never] mostrato nell’issue. Traccia le informazioni sui tipi utilizzate per tuple() e determina perché il suo argomento non valido viene segnalato come Iterable[Never]; il lavoro è completato quando la diagnostica non presenta più questa aspettativa fuorviante e i controlli pertinenti hanno esito positivo.