Overloaded generic constructors can cause spurious errors in class methods

This fails, while it shouldn't:

from typing import TypeVar, Generic, overload

T = TypeVar('T')

class C(Generic[T]):
    @overload
    def __new__(cls) -> C[None]: ...
    @overload
    def __new__(cls, item: T) -> C[T]: ...
    def __new__(cls, item=None):
        ...
    @classmethod
    def f(cls, x: T) -> T:
        return x

C.f(42)  # Argument 1 to "f" of "C" has incompatible type "int"; expected "None"

I think the same also will happen with __init__(). The problem is because the return type of the first overload is always passed as an instance type to analyze_class_attribute_access().

Note: enabling test case testGenericClassInGenericFunctionOverloadedConstructor is blocked on this.

Commencez par analyze_class_attribute_access() et reproduisez le cas de constructeur générique surchargé présenté dans l’issue. Cherchez pourquoi le type de retour de la première surcharge est utilisé comme type d’instance, puis vérifiez le comportement associé de init. Activez testGenericClassInGenericFunctionOverloadedConstructor et confirmez que l’erreur parasite de méthode de classe ne se produit plus.