David Peter 58a68f1bbd [ty] Fall back to Divergent for deeply nested specializations (#20988) ... ## Summary Fall back to `C[Divergent]` if we are trying to specialize `C[T]` with a type that itself already contains deeply nested specialized generic classes. This is a way to prevent infinite recursion for cases like `self.x = [self.x]` where type inference for the implicit instance attribute would not converge. closes https://github.com/astral-sh/ty/issues/1383 closes https://github.com/astral-sh/ty/issues/837 ## Test Plan Regression tests.		2025-10-22 14:29:10 +02:00
..
annotations	[ty] Improve error messages for unresolved attribute diagnostics (#20963)	2025-10-19 10:58:25 +01:00
assignment	[ty] Prefer declared type for invariant collection literals (#20927)	2025-10-16 16:11:28 -04:00
binary	[ty] Sync vendored typeshed stubs (#20876)	2025-10-15 11:13:32 +02:00
boolean
boundness_declaredness
call	[ty] Improve error messages for unresolved attribute diagnostics (#20963)	2025-10-19 10:58:25 +01:00
class	[ty] Improve error messages for unresolved attribute diagnostics (#20963)	2025-10-19 10:58:25 +01:00
comparison
comprehensions
conditional
dataclasses	[ty] dataclass_transform: Support for fields with an alias (#20961)	2025-10-18 18:20:39 +00:00
declaration
diagnostics	[ty] continue and break statements outside loops are syntax errors (#20944)	2025-10-17 17:13:40 +00:00
directives
doc
exception	[ty] Filter out revealed-type and undefined-reveal diagnostics from mdtest snapshots (#20820)	2025-10-12 18:39:32 +00:00
expression	[ty] Improve error messages for unresolved attribute diagnostics (#20963)	2025-10-19 10:58:25 +01:00
function
generics	[ty] Fix panic on recursive class definitions in a stub that use constrained type variables (#20955)	2025-10-18 13:02:55 +00:00
ide_support	[ty] Filter out revealed-type and undefined-reveal diagnostics from mdtest snapshots (#20820)	2025-10-12 18:39:32 +00:00
import	[ty] Improve error messages for unresolved attribute diagnostics (#20963)	2025-10-19 10:58:25 +01:00
literal	[ty] Treat functions, methods, and dynamic types as function-like Callables (#20842)	2025-10-13 15:21:55 +02:00
loops	[ty] Heterogeneous unpacking support for unions (#20377)	2025-10-15 19:30:03 +01:00
narrow	[ty] Improve error messages for unresolved attribute diagnostics (#20963)	2025-10-19 10:58:25 +01:00
regression
scopes	[ty] Improve error messages for unresolved attribute diagnostics (#20963)	2025-10-19 10:58:25 +01:00
shadowing
snapshots	[ty] Improve error messages for unresolved attribute diagnostics (#20963)	2025-10-19 10:58:25 +01:00
stubs	Update default and latest Python versions for 3.14 (#20725)	2025-10-07 12:23:11 -04:00
subscript
suppressions	[ty] Add suggestion to unknown rule diagnostics, rename unknown-rule lint to ignore-comment-unknown-rule (#20948)	2025-10-18 12:44:21 +02:00
type_compendium	[ty] Heterogeneous unpacking support for unions (#20377)	2025-10-15 19:30:03 +01:00
type_of
type_properties	[ty] Improve error messages for unresolved attribute diagnostics (#20963)	2025-10-19 10:58:25 +01:00
type_qualifiers
unary
with
.mdformat.toml
async.md
attributes.md	[ty] Fall back to Divergent for deeply nested specializations (#20988)	2025-10-22 14:29:10 +02:00
bidirectional.md	[ty] bidirectional type inference using function return type annotations (#20528)	2025-10-11 00:38:35 +00:00
classes.md
cycle.md	[ty] Avoid ever-growing default types (#20991)	2025-10-21 19:13:36 +02:00
decorators.md
del.md
deprecated.md
descriptor_protocol.md	[ty] Improve error messages for unresolved attribute diagnostics (#20963)	2025-10-19 10:58:25 +01:00
enums.md
exhaustiveness_checking.md
final.md
implicit_type_aliases.md
instance_layout_conflict.md
intersection_types.md
invalid_syntax.md
known_constants.md
mdtest_config.md
mdtest_custom_typeshed.md
metaclass.md
mro.md	[ty] Filter out revealed-type and undefined-reveal diagnostics from mdtest snapshots (#20820)	2025-10-12 18:39:32 +00:00
named_tuple.md
overloads.md	[ty] Improve diagnostics for bad @overload definitions (#20745)	2025-10-07 21:52:57 +00:00
pep613_type_aliases.md	[ty] Fall back to Divergent for deeply nested specializations (#20988)	2025-10-22 14:29:10 +02:00
pep695_type_aliases.md	[ty] cache Type::is_redundant_with (#20477)	2025-10-16 13:46:56 +02:00
properties.md
protocols.md	[ty] Fix panic when attempting to validate the members of a protocol that inherits from a protocol in another module (#20956)	2025-10-18 15:01:46 +01:00
public_types.md	[ty] Disambiguate classes that live in different modules but have the same fully qualified names (#20756)	2025-10-08 18:27:40 +01:00
statically_known_branches.md
sys_platform.md
sys_version_info.md
t_strings.md
terminal_statements.md
ty_extensions.md	[ty] Simplify and fix CallableTypeOf[..] implementation (#20797)	2025-10-10 12:04:37 +02:00
typed_dict.md	[ty] Improve error messages for unresolved attribute diagnostics (#20963)	2025-10-19 10:58:25 +01:00
union_types.md
unpacking.md
unreachable.md