Hacktoberfest 2026 : les issues que les mainteneurs ont marquées pour octobre, ouvertes et accessibles aux débutants. Parcourir les issues Hacktoberfest

Overload resolution collapses to Any when Any is nested inside a generic argument, not just top-level

Ouverte
#21,768 6 commentaires 1 réaction 0 personnes assignées Voir sur GitHub

Personne n'a encore pris cette issue.

Évaluation

Difficulté
4/5
Temps estimé
3-5 jours
Accessibilité débutants
55/100
Type d'issue
Bug
Clarté
Plutôt claire
Activité
Active
Stack technique
python
Domaine
compilers

Piste de recherche

Commencez par exécuter l’extrait fourni avec mypy 2.3.0 et lire la section de la documentation « Type checking calls to overloads ». Suivez la résolution des surcharges pour Sequence[Any] par rapport à Sequence[int] ; le travail est terminé lorsque le comportement attendu est établi et que le type révélé, l’implémentation ou la documentation correspond à cette décision.

Rédigé par le modèle d'indexation à partir du texte de l'issue.

Description

bug

Bug Report

The docs state the return type becomes Any only when "an argument [is] of type Any". But when the Any is nested inside a generic type argument (Sequence[Any] vs Sequence[int]), mypy also collapses the result to Any, even though the first overload matches unambiguously. Is this intended? If so, the "Type checking calls to overloads" section should probably document the nested case.

To Reproduce

from collections.abc import Sequence
from typing import Any, overload, reveal_type


@overload
def f(s: Sequence[int]) -> str: ...
@overload
def f(s: object) -> int: ...
def f(s: object) -> int | str:
    return "2"


concrete: Sequence[int] = [1]
nested_any: Sequence[Any] = [1]

reveal_type(f(concrete))  # Revealed type is "str"    (expected)
reveal_type(f(nested_any))  # Revealed type is "Any"    (surprising)

Expected Behavior

reveal_type on Sequence[Any] should show "str"

Actual Behavior

reveal_type on Sequence[Any] shows "Any"

Your Environment

  • Mypy version used: mypy 2.3.0
  • Mypy command-line flags: none
  • Mypy configuration options from mypy.ini (and other config files): none
  • Python version used: Python 3.14.6
Langage dominant
Python
Étoiles
20.6k
Forks
3.3k
Merge moyen
1 j 12 h
PR mergées (30 j)
58

Guide de contribution

Ouvrir le guide de contribution

Par où commencer

  1. Lisez l'issue en entier, puis le guide de contribution du projet.
  2. Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
  3. Forkez le dépôt et travaillez sur une branche.
  4. Ouvrez une pull request qui référence le numéro de l'issue.

Autres issues de python/mypy

Toutes les issues de python/mypy

Issues similaires

Plus d'issues Python

Recevez les nouvelles issues par e-mail

Un résumé court des issues GitHub adaptées aux débutants.