Jun 20, 2024 · Jun 19, 2024 · Jun 20, 2024 · Jun 19, 2024
diff --git a/mypy/plugin.py b/mypy/plugin.py
        allow_tuple_literal: bool = False,
        allow_unbound_tvars: bool = False,
        report_invalid_types: bool = True,
        third_pass: bool = False,
    ) -> Type | None:
        """Analyze an unbound type.

diff --git a/mypy/semanal.py b/mypy/semanal.py
    ) -> TypeVarLikeExpr | None:
        fullname = self.qualified_name(type_param.name)
        if type_param.upper_bound:
            upper_bound = self.anal_type(type_param.upper_bound)
            upper_bound = self.anal_type(type_param.upper_bound, allow_placeholder=True)
            # TODO: we should validate the upper bound is valid for a given kind.
            if upper_bound is None:
                return None
                # This and below copies special-casing for old-style type variables, that
                # is equally necessary for new-style classes to break a vicious circle.
                upper_bound = PlaceholderType(None, [], context.line)
        else:
            if type_param.kind == TYPE_VAR_TUPLE_KIND:
                upper_bound = self.named_type("builtins.tuple", [self.object_type()])
            values = []
            if type_param.values:
                for value in type_param.values:
                    analyzed = self.anal_type(value)
                    analyzed = self.anal_type(value, allow_placeholder=True)
                    if analyzed is None:
 returnNone
 analyzed = PlaceholderType(None, [], context.line)
                    values.append(analyzed)
            return TypeVarExpr(
                name=type_param.name,
        report_invalid_types: bool = True,
        prohibit_self_type: str | None = None,
        allow_type_any: bool = False,
        third_pass: bool = False,
    ) -> Type | None:
        """Semantically analyze a type.

        Args:
            typ: Type to analyze (if already analyzed, this is a no-op)
            allow_placeholder: If True, may return PlaceholderType if
                encountering an incomplete definition
            third_pass: Unused; only for compatibility with old semantic
                analyzer

        Return None only if some part of the type couldn't be bound *and* it
        referred to an incomplete namespace or definition. In this case also
diff --git a/test-data/unit/check-python312.test b/test-data/unit/check-python312.test
 d: E[int]  # E: Type argument "int" of "E" must be a subtype of "str"
 [builtins fixtures/tuple.pyi]
 [typing fixtures/typing-full.pyi]

 [case testCurrentClassWorksAsBound]
 # flags: --enable-incomplete-feature=NewGenericSyntax
 from typing import Protocol

 class Comparable[T: Comparable](Protocol):
    def compare(self, other: T) -> bool: ...

 class Good:
    def compare(self, other: Good) -> bool: ...

 x: Comparable[Good]
 y: Comparable[int]  # E: Type argument "int" of "Comparable" must be a subtype of "Comparable[Any]"
Original file line number	Diff line number	Diff line change
Expand Up		@@ -328,7 +328,6 @@ def anal_type(
		allow_tuple_literal: bool = False,
		allow_unbound_tvars: bool = False,
		report_invalid_types: bool = True,
		third_pass: bool = False,
		) -> Type \| None:
		"""Analyze an unbound type.

Expand Down
Original file line number	Diff line number	Diff line change
Expand Up		@@ -1738,10 +1738,12 @@ def analyze_type_param(
		) -> TypeVarLikeExpr \| None:
		fullname = self.qualified_name(type_param.name)
		if type_param.upper_bound:
		upper_bound = self.anal_type(type_param.upper_bound)
		upper_bound = self.anal_type(type_param.upper_bound, allow_placeholder=True)
		# TODO: we should validate the upper bound is valid for a given kind.
		if upper_bound is None:
		return None
		# This and below copies special-casing for old-style type variables, that
		# is equally necessary for new-style classes to break a vicious circle.
		upper_bound = PlaceholderType(None, [], context.line)
		else:
		if type_param.kind == TYPE_VAR_TUPLE_KIND:
		upper_bound = self.named_type("builtins.tuple", [self.object_type()])
Expand All		@@ -1752,9 +1754,9 @@ def analyze_type_param(
		values = []
		if type_param.values:
		for value in type_param.values:
		analyzed = self.anal_type(value)
		analyzed = self.anal_type(value, allow_placeholder=True)
		if analyzed is None:
		returnNone
		analyzed = PlaceholderType(None, [], context.line)
		values.append(analyzed)
		return TypeVarExpr(
		name=type_param.name,
Expand DownExpand Up		@@ -7192,16 +7194,13 @@ def anal_type(
		report_invalid_types: bool = True,
		prohibit_self_type: str \| None = None,
		allow_type_any: bool = False,
		third_pass: bool = False,
		) -> Type \| None:
		"""Semantically analyze a type.

		Args:
		typ: Type to analyze (if already analyzed, this is a no-op)
		allow_placeholder: If True, may return PlaceholderType if
		encountering an incomplete definition
		third_pass: Unused; only for compatibility with old semantic
		analyzer

		Return None only if some part of the type couldn't be bound and it
		referred to an incomplete namespace or definition. In this case also
Expand Down
Original file line number	Diff line number	Diff line change
Expand Up		@@ -1591,3 +1591,16 @@ c: E[str]
		d: E[int] # E: Type argument "int" of "E" must be a subtype of "str"
		[builtins fixtures/tuple.pyi]
		[typing fixtures/typing-full.pyi]

		[case testCurrentClassWorksAsBound]
		# flags: --enable-incomplete-feature=NewGenericSyntax
		from typing import Protocol

		class Comparable[T: Comparable](Protocol):
		def compare(self, other: T) -> bool: ...

		class Good:
		def compare(self, other: Good) -> bool: ...

		x: Comparable[Good]
		y: Comparable[int] # E: Type argument "int" of "Comparable" must be a subtype of "Comparable[Any]"