python / python/mypy

Callable[..., T] causes false positive in overload checks

Aperta
#6,140 1 commento 0 reazioni 1 assegnatario Vedi su GitHub

@Michael0x2a ci sta già lavorando.

Dal 4/1/2019.

bug false-positive priority-1-normal topic-overloads
Lingua principale
Python
Stelle
20.6k
Fork
3.3k
Metriche PR in attesa

Descrizione

This example:

@overload
def deco(f: Callable[[], int]) -> Callable[[], str]: ...
@overload
def deco(f: Callable[..., int]) -> Callable[..., str]: ...
def deco(f):
    pass

causes

Overloaded function signature 2 will never be matched: signature 1's parameter type(s) are the same or broader

But it should be allowed (the same way we allow various last overloads with Any types).

cc @Michael0x2a

Guida per i contributori

Apri la guida per i contributori

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Valutazione

Questa issue non è ancora stata valutata.

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.