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

`mypy` widens multiple type parameters even when only the first one is relevant

Ouverte
#21,903 0 commentaires 0 réactions 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
48/100
Type d'issue
Bug
Clarté
Plutôt claire
Activité
Active
Stack technique
python
Domaine
devtools

Piste de recherche

Commencez par exécuter la reproduction mypy-play liée et comparez le type inféré à l’attente de assert_type. Suivez ensuite la logique de correspondance des surcharges et d’élargissement des paramètres de type impliquée dans l’appel à add, puis ajoutez un test de régression montrant que seul le paramètre qui diverge est élargi, tandis que le paramètre EA commun est préservé.

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

Description

bug topic-inference

Bug Report

When there are two type parameters to widen, mypy widens both to Any, even when the matched overloads agree on the second parameter and only actually disagree on the first.

Related to #19952

To Reproduce

https://mypy-play.net/?gist=6ab5724e788384125e85da02ae0386d3

from collections.abc import Sequence
from typing import Any, Generic, Protocol, assert_type, overload

from typing_extensions import TypeVar

S1 = TypeVar("S1")


class EA: ...


A = TypeVar("A", bound=EA, default=EA, covariant=True)
S2 = TypeVar("S2", bound=EA)
S2_contra = TypeVar("S2_contra", bound=EA, contravariant=True)


class Supports_ProtoAdd(Protocol[S2_contra, S2]):
    def _proto_add(self, other: S2_contra, /) -> "Ser2[S2, EA]": ...


class Ser2(Generic[S1, A]):
    def _proto_add(self, other: Any, /) -> "Ser2[Any, EA]":
        raise NotImplementedError

    @overload
    def __add__(
        self: Supports_ProtoAdd[S2_contra, S2],
        other: "S2_contra | Sequence[S2_contra]",
    ) -> "Ser2[S2]": ...
    @overload
    def __add__(self: "Ser2[bool, EA]", other: Sequence[Any]) -> "Ser2[int]": ...
    def __add__(self, other: Any) -> Any:
        raise NotImplementedError


def f(a2: "Ser2[Any, EA]", seq: "Sequence[Any]") -> None:
    assert_type(a2 + seq, "Ser2[Any, EA]")
    # error: Expression is of type "Ser2[Any, Any]", not "Ser2[Any, EA]"  [assert-type]

Expected Behaviour

Error free, as is the case for pyright, pyrefly and ty

Actual Behaviour

main.py:24: error: Expression is of type "Ser2[Any, Any]", not "Ser2[bool, EA]"  [assert-type]
Found 1 error in 1 file (checked 1 source file)

Your Environment*

mypy 2.3.1 (playground)

Langage dominant
Python
Étoiles
20.6k
Forks
3.3k
Merge moyen
1 j 3 h
PR mergées (30 j)
59

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.