TypeStrVisitor: show narrowed upper bound

Author: ikonst

mypy/checker.py

@@ -6864,7 +6864,10 @@ def conditional_types(
                 ]
             )
             if isinstance(current_type, TypeVarType):
-                proposed_type = current_type.copy_modified(upper_bound=proposed_type)
+                assert not current_type.values  # constrained TypeVars should not reach here
+                proposed_type = current_type.copy_modified(
+                    values=[], upper_bound=proposed_type, narrowed=True
+                )
             remaining_type = restrict_subtype_away(current_type, proposed_precise_type)
             return proposed_type, remaining_type
     else:

mypy/types.py

@@ -576,7 +576,7 @@ def has_default(self) -> bool:
 class TypeVarType(TypeVarLikeType):
     """Type that refers to a type variable."""
 
-    __slots__ = ("values", "variance")
+    __slots__ = ("values", "variance", "narrowed")
 
     values: list[Type]  # Value restriction, empty list if no restriction
     variance: int
@@ -592,11 +592,14 @@ def __init__(
         variance: int = INVARIANT,
         line: int = -1,
         column: int = -1,
+        *,
+        narrowed: bool = False,
     ) -> None:
         super().__init__(name, fullname, id, upper_bound, default, line, column)
         assert values is not None, "No restrictions must be represented by empty list"
         self.values = values
         self.variance = variance
+        self.narrowed = narrowed
 
     def copy_modified(
         self,
@@ -607,6 +610,7 @@ def copy_modified(
         id: Bogus[TypeVarId | int] = _dummy,
         line: int = _dummy_int,
         column: int = _dummy_int,
+        narrowed: Bogus[bool] = _dummy,
         **kwargs: Any,
     ) -> TypeVarType:
         return TypeVarType(
@@ -619,6 +623,7 @@ def copy_modified(
             variance=self.variance,
             line=self.line if line == _dummy_int else line,
             column=self.column if column == _dummy_int else column,
+            narrowed=self.narrowed if narrowed is _dummy else narrowed,
         )
 
     def accept(self, visitor: TypeVisitor[T]) -> T:
@@ -3047,7 +3052,7 @@ def visit_type_var(self, t: TypeVarType) -> str:
         else:
             # Named type variable type.
             s = f"{t.name}`{t.id}"
-        if self.id_mapper and t.upper_bound:
+        if (self.id_mapper or t.narrowed) and t.upper_bound:
             s += f"(upper_bound={t.upper_bound.accept(self)})"
         return s
 

test-data/unit/check-isinstance.test

@@ -1829,7 +1829,7 @@ T = TypeVar('T', bound=A)
 
 def f(x: T) -> None:
     if isinstance(x, B):
-        reveal_type(x) # N: Revealed type is "T`-1"
+        reveal_type(x) # N: Revealed type is "T`-1(upper_bound=__main__.B)"
         x1: T = x
         a: A = x
         b: B = x