And we're back to 10

Author: sharkdp

crates/ty_python_semantic/resources/mdtest/attributes.md

@@ -2624,10 +2624,10 @@ def duplicate(x: T) -> tuple[T, T]:
     return (x, x)
 
 class E:
-    def f(self: Self):
+    def f(self: "E"):
         self.x = duplicate(self.x)
 
-reveal_type(C().x)  # revealed: Unknown | tuple[Divergent, Divergent]
+reveal_type(E().x)  # revealed: Unknown | tuple[Divergent, Divergent]
 ```
 
 And it also works for homogeneous tuples:

crates/ty_python_semantic/src/types/visitor.rs

@@ -372,7 +372,7 @@ pub(super) fn exceeds_max_specialization_depth(db: &dyn Db, ty: Type<'_>) -> boo
     //
     // reveal_type(x)  # Unknown | Literal[1] | list[Divergent]
     // ```
-    const MAX_SPECIALIZATION_DEPTH: usize = 14;
+    const MAX_SPECIALIZATION_DEPTH: usize = 10;
 
     specialization_depth(db, ty) > MAX_SPECIALIZATION_DEPTH
 }