Per review

Author: InSyncWithFoo

crates/ty_python_semantic/resources/mdtest/narrow/type_guards.md

@@ -216,7 +216,7 @@ def _(a: tuple[str, int] | tuple[int, str], c: C[Any]):
         # TODO: Should be `str`
         reveal_type(a[1])  # revealed: Unknown
 
-    if reveal_type(is_int(a[0])):  # revealed: TypeIs[int]
+    if reveal_type(is_int(a[0])):  # revealed: TypeIs[int](a[0])
         # TODO: Should be `tuple[int, str]`
         reveal_type(a)  # revealed: tuple[str, int] | tuple[int, str]
         # TODO: Should be `int`
@@ -228,7 +228,7 @@ def _(a: tuple[str, int] | tuple[int, str], c: C[Any]):
         # TODO: Should be `str`
         reveal_type(c.v)  # revealed: Any
 
-    if reveal_type(is_int(c.v)):  # revealed: TypeIs[int]
+    if reveal_type(is_int(c.v)):  # revealed: TypeIs[int](c.v)
         reveal_type(c)  # revealed: C[Any]
         # TODO: Should be `int`
         reveal_type(c.v)  # revealed: Any

crates/ty_python_semantic/src/types.rs

@@ -8342,10 +8342,8 @@ impl<'db> TypeIsType<'db> {
     pub fn place_name(self, db: &'db dyn Db) -> Option<String> {
         let (scope, place) = self.place_info(db)?;
         let table = place_table(db, scope);
-        let expr = table.place_expr(place);
 
-        // TODO: Attribute and subscript
-        expr.as_name().map(ToString::to_string)
+        Some(format!("{}", table.place_expr(place)))
     }
 
     pub fn unbound(db: &'db dyn Db, ty: Type<'db>) -> Type<'db> {