David Peter 2f6f3e1042 [ty] Faster subscript assignment checks for (unions of) `TypedDict`s (#21378) ... ## Summary We synthesize a (potentially large) set of `__setitem__` overloads for every item in a `TypedDict`. Previously, validation of subscript assignments on `TypedDict`s relied on actually calling `__setitem__` with the provided key and value types, which implied that we needed to do the full overload call evaluation for this large set of overloads. This PR improves the performance of subscript assignment checks on `TypedDict`s by validating the assignment directly instead of calling `__setitem__`. This PR also adds better handling for assignments to subscripts on union and intersection types (but does not attempt to make it perfect). It achieves this by distributing the check over unions and intersections, instead of calling `__setitem__` on the union/intersection directly. We already do something similar when validating *attribute* assignments. ## Ecosystem impact * A lot of diagnostics change their rule type, and/or split into multiple diagnostics. The new version is more verbose, but easier to understand, in my opinion * Almost all of the invalid-key diagnostics come from pydantic, and they should all go away (including many more) when we implement https://github.com/astral-sh/ty/issues/1479 * Everything else looks correct to me. There may be some new diagnostics due to the fact that we now check intersections. ## Test Plan New Markdown tests.		2025-11-12 20:16:38 +01:00
..
annotations.md_-_Assignment_with_anno…_-_PEP-604_in_non-type-…_-_Earlier_versions_(f2859c9800f37c7).snap	[ty] Tell the user why we inferred the Python version we inferred (#18082)	2025-05-21 11:06:27 -04:00
assert_never.md_-_`assert_never`_-_Basic_functionality_-_Diagnostics_(be8f5d8b0718ee54).snap	[ty] Infer slightly more precise types for comprehensions (#20111)	2025-08-27 13:21:47 +01:00
assert_type.md_-_`assert_type`_-_Basic_(c507788da2659ec9).snap	[ty] Use annotated parameters as type context (#20635)	2025-10-03 17:14:51 -04:00
assignment_diagnosti…_-_Subscript_assignment…_-_Invalid_key_type_(d3d47de65fb3bad).snap	[ty] Baseline for subscript assignment diagnostics (#21404)	2025-11-12 15:29:26 +01:00
assignment_diagnosti…_-_Subscript_assignment…_-_Invalid_key_type_for…_(815dae276e2fd2b7).snap	[ty] Baseline for subscript assignment diagnostics (#21404)	2025-11-12 15:29:26 +01:00
assignment_diagnosti…_-_Subscript_assignment…_-_Invalid_value_type_(f87bd015df018509).snap	[ty] Baseline for subscript assignment diagnostics (#21404)	2025-11-12 15:29:26 +01:00
assignment_diagnosti…_-_Subscript_assignment…_-_Invalid_value_type_f…_(155d53762388f9ad).snap	[ty] Baseline for subscript assignment diagnostics (#21404)	2025-11-12 15:29:26 +01:00
assignment_diagnosti…_-_Subscript_assignment…_-_Misspelled_key_for_`…_(7cf0fa634e2a2d59).snap	[ty] Baseline for subscript assignment diagnostics (#21404)	2025-11-12 15:29:26 +01:00
assignment_diagnosti…_-_Subscript_assignment…_-_No_`__setitem__`_met…_(468f62a3bdd1d60c).snap	[ty] Faster subscript assignment checks for (unions of) `TypedDict`s (#21378)	2025-11-12 20:16:38 +01:00
assignment_diagnosti…_-_Subscript_assignment…_-_Possibly_missing_`__…_(efd3f0c02e9b89e9).snap	[ty] Faster subscript assignment checks for (unions of) `TypedDict`s (#21378)	2025-11-12 20:16:38 +01:00
assignment_diagnosti…_-_Subscript_assignment…_-_Unknown_key_for_all_…_(1c685d9d10678263).snap	[ty] Faster subscript assignment checks for (unions of) `TypedDict`s (#21378)	2025-11-12 20:16:38 +01:00
assignment_diagnosti…_-_Subscript_assignment…_-_Unknown_key_for_one_…_(b515711c0a451a86).snap	[ty] Faster subscript assignment checks for (unions of) `TypedDict`s (#21378)	2025-11-12 20:16:38 +01:00
assignment_diagnosti…_-_Subscript_assignment…_-_Wrong_value_type_for…_(57372b65e30392a8).snap	[ty] Faster subscript assignment checks for (unions of) `TypedDict`s (#21378)	2025-11-12 20:16:38 +01:00
assignment_diagnosti…_-_Subscript_assignment…_-_Wrong_value_type_for…_(ffe39a3bae68cfe4).snap	[ty] Faster subscript assignment checks for (unions of) `TypedDict`s (#21378)	2025-11-12 20:16:38 +01:00
async.md_-_Async_with_statement…_-_Accidental_use_of_as…_(5b8c1b4d846bc544).snap	[ty] Diagnostics for async context managers (#19704)	2025-08-05 07:41:37 -07:00
async_for.md_-_Async_-_Error_cases_-_No_`__aiter__`_metho…_(4fbd80e21774cc23).snap	[ty] Filter out `revealed-type` and `undefined-reveal` diagnostics from mdtest snapshots (#20820)	2025-10-12 18:39:32 +00:00
async_for.md_-_Async_-_Error_cases_-_No_`__anext__`_metho…_(a0b186714127abee).snap	[ty] Filter out `revealed-type` and `undefined-reveal` diagnostics from mdtest snapshots (#20820)	2025-10-12 18:39:32 +00:00
async_for.md_-_Async_-_Error_cases_-_Possibly_missing_`__…_(33924dbae5117216).snap	[ty] Filter out `revealed-type` and `undefined-reveal` diagnostics from mdtest snapshots (#20820)	2025-10-12 18:39:32 +00:00
async_for.md_-_Async_-_Error_cases_-_Possibly_missing_`__…_(e2600ca4708d9e54).snap	[ty] Filter out `revealed-type` and `undefined-reveal` diagnostics from mdtest snapshots (#20820)	2025-10-12 18:39:32 +00:00
async_for.md_-_Async_-_Error_cases_-_Synchronously_iterab…_(80fa705b1c61d982).snap	[ty] Filter out `revealed-type` and `undefined-reveal` diagnostics from mdtest snapshots (#20820)	2025-10-12 18:39:32 +00:00
async_for.md_-_Async_-_Error_cases_-_Wrong_signature_for_…_(b614724363eec343).snap	[ty] Filter out `revealed-type` and `undefined-reveal` diagnostics from mdtest snapshots (#20820)	2025-10-12 18:39:32 +00:00
async_for.md_-_Async_-_Error_cases_-_Wrong_signature_for_…_(e1f3e9275d0a367).snap	[ty] Filter out `revealed-type` and `undefined-reveal` diagnostics from mdtest snapshots (#20820)	2025-10-12 18:39:32 +00:00
attribute_assignment…_-_Attribute_assignment_-_Data_descriptors_-_Invalid_`__set__`_me…_(116c27bd98838df7).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
attribute_assignment…_-_Attribute_assignment_-_Data_descriptors_-_Invalid_argument_typ…_(a903c11fedbc5020).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
attribute_assignment…_-_Attribute_assignment_-_Instance_attributes_…_(ebfb3de6d1b96b23).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
attribute_assignment…_-_Attribute_assignment_-_Possibly-missing_att…_(e603e3da35f55c73).snap	[ty] Improve error messages for unresolved attribute diagnostics (#20963)	2025-10-19 10:58:25 +01:00
attribute_assignment…_-_Attribute_assignment_-_Pure_instance_attrib…_(d13d57d3cc36face).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
attribute_assignment…_-_Attribute_assignment_-_Setting_attributes_o…_(467e26496f4c0c13).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
attribute_assignment…_-_Attribute_assignment_-_Unknown_attributes_(368ba83a71ef2120).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
attribute_assignment…_-_Attribute_assignment_-_`ClassVar`s_(8d7cca27987b099d).snap	Revert "[ty] Use `invalid-assignment` error code for invalid assignments to `ClassVar`s" (#20158)	2025-08-29 19:48:45 +01:00
attributes.md_-_Attributes_-_Attributes_of_standa…_(49ba2c9016d64653).snap	[ty] Improve error messages for unresolved attribute diagnostics (#20963)	2025-10-19 10:58:25 +01:00
attributes.md_-_Attributes_-_Invalid_access_to_at…_(5457445ffed43a87).snap	[ty] Don't add incorrect subdiagnostic for unresolved reference (#18487)	2025-06-27 12:40:33 +00:00
basic.md_-_Structures_-_Attempting_to_import…_(2fcfcf567587a056).snap	[ty] Improve diagnostics if the user attempts to import a stdlib module that does not exist on their configured Python version (#18403)	2025-06-02 10:52:26 +00:00
basic.md_-_Structures_-_Attempting_to_import…_(c14954eefd15211f).snap	[ty] Improve diagnostics if the user attempts to import a stdlib module that does not exist on their configured Python version (#18403)	2025-06-02 10:52:26 +00:00
basic.md_-_Structures_-_Attempting_to_import…_(dba22bd97137ee38).snap	[ty] Check typeshed VERSIONS for parent modules when reporting failed stdlib imports (#20908)	2025-10-16 13:25:08 +00:00
basic.md_-_Structures_-_Multiple_objects_imp…_(cbfbf5ff94e6e104).snap	[ty] Add search paths info to unresolved import diagnostics (#20040)	2025-08-26 11:01:16 -04:00
basic.md_-_Structures_-_Unresolvable_module_…_(846453deaca1071c).snap	[ty] Add search paths info to unresolved import diagnostics (#20040)	2025-08-26 11:01:16 -04:00
basic.md_-_Structures_-_Unresolvable_submodu…_(4fad4be9778578b7).snap	[ty] Add search paths info to unresolved import diagnostics (#20040)	2025-08-26 11:01:16 -04:00
cast.md_-_`cast`_-_Diagnostic_snapshots_(91dd3d45b6d7f2c8).snap	[ty] highlight the argument in `static_assert` error messages (#19426)	2025-07-23 08:24:12 -07:00
dataclasses.md_-_Dataclasses_-_`dataclasses.KW_ONLY…_(dd1b8f2f71487f16).snap	[ty] Filter out `revealed-type` and `undefined-reveal` diagnostics from mdtest snapshots (#20820)	2025-10-12 18:39:32 +00:00
deprecated.md_-_Tests_for_the_`@depr…_-_Introduction_(cff2724f4c9d28c4).snap	[ty] Add support for `@warnings.deprecated` (#19376)	2025-07-18 23:50:29 +00:00
deprecated.md_-_Tests_for_the_`@depr…_-_Syntax_(142fa2948c3c6cf1).snap	[ty] Sync vendored typeshed stubs (#20083)	2025-08-25 17:01:51 +00:00
descriptor_protocol.…_-_Descriptor_protocol_-_Special_descriptors_-_Properties_with_no_s…_(176795bc1727dda7).snap	[ty] Better error message for attempting to assign to a read-only property (#20150)	2025-08-29 13:22:23 +00:00
final.md_-_`typing.Final`_-_Full_diagnostics_(174fdd8134fb325b).snap	[ty] Improved diagnostic for reassignments of `Final` symbols (#19214)	2025-07-08 20:29:07 +02:00
for.md_-_For_loops_-_Bad_`__getitem__`_me…_(3ffe352bb3a76715).snap	[ty] Filter out `revealed-type` and `undefined-reveal` diagnostics from mdtest snapshots (#20820)	2025-10-12 18:39:32 +00:00
for.md_-_For_loops_-_Invalid_iterable_(3153247bb9a9b72a).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
for.md_-_For_loops_-_New_over_old_style_i…_(a90ba167a7c191eb).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
for.md_-_For_loops_-_No_`__iter__`_method…_(36425dbcbd793d2b).snap	[ty] Filter out `revealed-type` and `undefined-reveal` diagnostics from mdtest snapshots (#20820)	2025-10-12 18:39:32 +00:00
for.md_-_For_loops_-_Possibly-not-callabl…_(49a21e4b7fe6e97b).snap	[ty] Filter out `revealed-type` and `undefined-reveal` diagnostics from mdtest snapshots (#20820)	2025-10-12 18:39:32 +00:00
for.md_-_For_loops_-_Possibly_invalid_`__…_(6805a6032e504b63).snap	[ty] Filter out `revealed-type` and `undefined-reveal` diagnostics from mdtest snapshots (#20820)	2025-10-12 18:39:32 +00:00
for.md_-_For_loops_-_Possibly_invalid_`__…_(6388761c90a0555c).snap	[ty] Filter out `revealed-type` and `undefined-reveal` diagnostics from mdtest snapshots (#20820)	2025-10-12 18:39:32 +00:00
for.md_-_For_loops_-_Possibly_invalid_`__…_(c626bde8651b643a).snap	[ty] Filter out `revealed-type` and `undefined-reveal` diagnostics from mdtest snapshots (#20820)	2025-10-12 18:39:32 +00:00
for.md_-_For_loops_-_Possibly_missing_`__…_(9f781babda99d74b).snap	[ty] Filter out `revealed-type` and `undefined-reveal` diagnostics from mdtest snapshots (#20820)	2025-10-12 18:39:32 +00:00
for.md_-_For_loops_-_Possibly_missing_`__…_(77269542b8e81774).snap	[ty] Filter out `revealed-type` and `undefined-reveal` diagnostics from mdtest snapshots (#20820)	2025-10-12 18:39:32 +00:00
for.md_-_For_loops_-_Possibly_missing_`__…_(d8a02a0fcbb390a3).snap	[ty] Filter out `revealed-type` and `undefined-reveal` diagnostics from mdtest snapshots (#20820)	2025-10-12 18:39:32 +00:00
for.md_-_For_loops_-_Union_type_as_iterab…_(6177bb6d13a22241).snap	[ty] Filter out `revealed-type` and `undefined-reveal` diagnostics from mdtest snapshots (#20820)	2025-10-12 18:39:32 +00:00
for.md_-_For_loops_-_Union_type_as_iterab…_(ba36fbef63a14969).snap	[ty] Filter out `revealed-type` and `undefined-reveal` diagnostics from mdtest snapshots (#20820)	2025-10-12 18:39:32 +00:00
for.md_-_For_loops_-_With_non-callable_it…_(a1cdf01ad69ac37c).snap	[ty] Filter out `revealed-type` and `undefined-reveal` diagnostics from mdtest snapshots (#20820)	2025-10-12 18:39:32 +00:00
for.md_-_For_loops_-_`__iter__`_does_not_…_(92e3fdd69edad63d).snap	[ty] Filter out `revealed-type` and `undefined-reveal` diagnostics from mdtest snapshots (#20820)	2025-10-12 18:39:32 +00:00
for.md_-_For_loops_-_`__iter__`_method_wi…_(1136c0e783d61ba4).snap	[ty] Filter out `revealed-type` and `undefined-reveal` diagnostics from mdtest snapshots (#20820)	2025-10-12 18:39:32 +00:00
for.md_-_For_loops_-_`__iter__`_returns_a…_(707bd02a22c4acc8).snap	[ty] Filter out `revealed-type` and `undefined-reveal` diagnostics from mdtest snapshots (#20820)	2025-10-12 18:39:32 +00:00
function.md_-_Call_expression_-_Wrong_argument_type_-_Diagnostics_for_unio…_(5396a8f9e7f88f71).snap	[ty] Improve `invalid-argument-type` diagnostics where a union type was provided (#21044)	2025-10-23 13:16:21 +00:00
functions.md_-_Generic_functions___L…_-_Inferring_a_bound_ty…_(d50204b9d91b7bd1).snap	[ty] Filter out `revealed-type` and `undefined-reveal` diagnostics from mdtest snapshots (#20820)	2025-10-12 18:39:32 +00:00
functions.md_-_Generic_functions___L…_-_Inferring_a_constrai…_(48ab83f977c109b4).snap	[ty] Filter out `revealed-type` and `undefined-reveal` diagnostics from mdtest snapshots (#20820)	2025-10-12 18:39:32 +00:00
functions.md_-_Generic_functions___P…_-_Inferring_a_bound_ty…_(5935d14c26afe407).snap	[ty] Filter out `revealed-type` and `undefined-reveal` diagnostics from mdtest snapshots (#20820)	2025-10-12 18:39:32 +00:00
functions.md_-_Generic_functions___P…_-_Inferring_a_constrai…_(d2c475fccc70a8e2).snap	[ty] Filter out `revealed-type` and `undefined-reveal` diagnostics from mdtest snapshots (#20820)	2025-10-12 18:39:32 +00:00
instance_layout_conf…_-_Tests_for_ty's_`inst…_-_Built-ins_with_impli…_(f5857d64ce69ca1d).snap	[ty] Add support for PEP 800 (#20084)	2025-08-25 19:39:05 +01:00
instance_layout_conf…_-_Tests_for_ty's_`inst…_-_`__slots__`___incompa…_(98b54233987eb654).snap	[ty] Improve disjointness inference for `NominalInstanceType`s and `SubclassOfType`s (#18864)	2025-06-24 20:27:37 +00:00
instances.md_-_Binary_operations_on…_-_Operations_involving…_(492b1163b8163c05).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
invalid.md_-_Tests_for_invalid_ty…_-_Diagnostics_for_comm…_-_List-literal_used_wh…_(f80dbf5dd571c940).snap	[ty] Add hints to `invalid-type-form` for common mistakes (#18543)	2025-06-09 00:40:05 +01:00
invalid.md_-_Tests_for_invalid_ty…_-_Diagnostics_for_comm…_-_Module-literal_used_…_(652fec4fd4a6c63a).snap	[ty] Improve `invalid-type-form` diagnostic where a module-literal type is used in a type expression and the module has a member which would be valid in a type expression (#18244)	2025-05-21 15:38:56 -04:00
invalid.md_-_Tests_for_invalid_ty…_-_Diagnostics_for_comm…_-_Tuple-literal_used_w…_(f61204fc81905069).snap	[ty] Add hints to `invalid-type-form` for common mistakes (#18543)	2025-06-09 00:40:05 +01:00
invalid_argument_typ…_-_Invalid_argument_typ…_-_Basic_(16be9d90a741761).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
invalid_argument_typ…_-_Invalid_argument_typ…_-_Calls_to_methods_(4b3b8695d519a02).snap	[ty] Improve diagnostics for bad calls to functions (#20022)	2025-08-21 22:00:44 +01:00
invalid_argument_typ…_-_Invalid_argument_typ…_-_Different_files_(d02c38e2dd054b4c).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
invalid_argument_typ…_-_Invalid_argument_typ…_-_Different_source_ord…_(9b0bf549733d3f0a).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
invalid_argument_typ…_-_Invalid_argument_typ…_-_Many_parameters_(ee38fd34ceba3293).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
invalid_argument_typ…_-_Invalid_argument_typ…_-_Many_parameters_acro…_(1d5d112808c49e9d).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
invalid_argument_typ…_-_Invalid_argument_typ…_-_Many_parameters_with…_(4bc5c16cd568b8ec).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
invalid_argument_typ…_-_Invalid_argument_typ…_-_Test_calling_a_funct…_(3b18271a821a59b).snap	[ty] Sync vendored typeshed stubs (#19607)	2025-07-28 22:06:33 +00:00
invalid_argument_typ…_-_Invalid_argument_typ…_-_Tests_for_a_variety_…_-_Keyword_only_argumen…_(8d9f18c78137411).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
invalid_argument_typ…_-_Invalid_argument_typ…_-_Tests_for_a_variety_…_-_Mix_of_arguments_(cfc64b1136058112).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
invalid_argument_typ…_-_Invalid_argument_typ…_-_Tests_for_a_variety_…_-_One_keyword_argument_(cc34b2f7d19d427e).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
invalid_argument_typ…_-_Invalid_argument_typ…_-_Tests_for_a_variety_…_-_Only_positional_(3dc93b1709eb3be9).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
invalid_argument_typ…_-_Invalid_argument_typ…_-_Tests_for_a_variety_…_-_Synthetic_arguments_(4c09844bbbf47741).snap	[ty] Improve diagnostics for bad calls to functions (#20022)	2025-08-21 22:00:44 +01:00
invalid_argument_typ…_-_Invalid_argument_typ…_-_Tests_for_a_variety_…_-_Variadic_arguments_(e26a3e7b2773a63b).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
invalid_argument_typ…_-_Invalid_argument_typ…_-_Tests_for_a_variety_…_-_Variadic_keyword_arg…_(4c855e39ea6baeaf).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
invalid_await.md_-_Invalid_await_diagno…_-_Basic_(f15db7dc447d0795).snap	[ty] Sync vendored typeshed stubs (#20876)	2025-10-15 11:13:32 +02:00
invalid_await.md_-_Invalid_await_diagno…_-_Custom_type_with_mis…_(9ce1ee3cd1c9c8d1).snap	[ty] Add diagnostics for invalid `await` expressions (#19711)	2025-08-14 14:38:33 -07:00
invalid_await.md_-_Invalid_await_diagno…_-_Custom_type_with_pos…_(a028edbafe180ca).snap	[ty] Rename "possibly unbound" diagnostics to "possibly missing" (#20492)	2025-09-23 14:26:55 +00:00
invalid_await.md_-_Invalid_await_diagno…_-_Invalid_union_return…_(fedf62ffaca0f2d7).snap	[ty] Add diagnostics for invalid `await` expressions (#19711)	2025-08-14 14:38:33 -07:00
invalid_await.md_-_Invalid_await_diagno…_-_Non-callable_`__awai…_(d78580fb6720e4ea).snap	[ty] Add diagnostics for invalid `await` expressions (#19711)	2025-08-14 14:38:33 -07:00
invalid_await.md_-_Invalid_await_diagno…_-_`__await__`_definiti…_(15b05c126b6ae968).snap	[ty] Add diagnostics for invalid `await` expressions (#19711)	2025-08-14 14:38:33 -07:00
invalid_await.md_-_Invalid_await_diagno…_-_`__await__`_definiti…_(ccb69f512135dd61).snap	[ty] Add diagnostics for invalid `await` expressions (#19711)	2025-08-14 14:38:33 -07:00
isinstance.md_-_Narrowing_for_`isins…_-_`classinfo`_is_an_in…_(eeef56c0ef87a30b).snap	[ty] Add support for `Optional` and `Annotated` in implicit type aliases (#21321)	2025-11-10 10:24:38 +01:00
issubclass.md_-_Narrowing_for_`issub…_-_`classinfo`_is_an_in…_(7bb66a0f412caac1).snap	[ty] Add diagnostics for `isinstance()` and `issubclass()` calls that use invalid PEP-604 unions for their second argument (#21343)	2025-11-10 08:46:31 +00:00
legacy_typevars.md_-_Legacy_typevar_creat…_-_Boolean_parameters_m…_(3edf97b20f58fa11).snap	[ty] defer inference of legacy TypeVar bound/constraints/defaults (#20598)	2025-10-09 21:08:37 +00:00
legacy_typevars.md_-_Legacy_typevar_creat…_-_Cannot_be_both_covar…_(b7b0976739681470).snap	[ty] defer inference of legacy TypeVar bound/constraints/defaults (#20598)	2025-10-09 21:08:37 +00:00
legacy_typevars.md_-_Legacy_typevar_creat…_-_Cannot_have_both_bou…_(4ca5f13621915554).snap	[ty] defer inference of legacy TypeVar bound/constraints/defaults (#20598)	2025-10-09 21:08:37 +00:00
legacy_typevars.md_-_Legacy_typevar_creat…_-_Cannot_have_only_one…_(8b0258f5188209c6).snap	[ty] defer inference of legacy TypeVar bound/constraints/defaults (#20598)	2025-10-09 21:08:37 +00:00
legacy_typevars.md_-_Legacy_typevar_creat…_-_Invalid_feature_for_…_(72827c64b5c73d05).snap	[ty] defer inference of legacy TypeVar bound/constraints/defaults (#20598)	2025-10-09 21:08:37 +00:00
legacy_typevars.md_-_Legacy_typevar_creat…_-_Invalid_keyword_argu…_(39164266ada3dc2f).snap	[ty] defer inference of legacy TypeVar bound/constraints/defaults (#20598)	2025-10-09 21:08:37 +00:00
legacy_typevars.md_-_Legacy_typevar_creat…_-_Must_be_directly_ass…_(c2e3e46852bb268f).snap	[ty] defer inference of legacy TypeVar bound/constraints/defaults (#20598)	2025-10-09 21:08:37 +00:00
legacy_typevars.md_-_Legacy_typevar_creat…_-_Must_have_a_name_(79a4ce09338e666b).snap	[ty] defer inference of legacy TypeVar bound/constraints/defaults (#20598)	2025-10-09 21:08:37 +00:00
legacy_typevars.md_-_Legacy_typevar_creat…_-_Name_can't_be_given_…_(8f6aed0dba79e995).snap	[ty] defer inference of legacy TypeVar bound/constraints/defaults (#20598)	2025-10-09 21:08:37 +00:00
legacy_typevars.md_-_Legacy_typevar_creat…_-_No_variadic_argument…_(9d57505425233fd8).snap	[ty] defer inference of legacy TypeVar bound/constraints/defaults (#20598)	2025-10-09 21:08:37 +00:00
legacy_typevars.md_-_Legacy_typevar_creat…_-_`TypeVar`_parameter_…_(8424f2b8bc4351f9).snap	[ty] defer inference of legacy TypeVar bound/constraints/defaults (#20598)	2025-10-09 21:08:37 +00:00
membership_test.md_-_Comparison___Membersh…_-_Return_type_that_doe…_(feccf6b9da1e7cd3).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
missing_argument.md_-_Missing_argument_dia…_(f0811e84fcea1085).snap	[ty] Improve diagnostics for bad calls to functions (#20022)	2025-08-21 22:00:44 +01:00
mro.md_-_Method_Resolution_Or…_-_Unresolvable_MROs_in…_(e2b355c09a967862).snap	[ty] Track different uses of legacy typevars, including context when rendering typevars (#19604)	2025-08-01 12:20:32 -04:00
mro.md_-_Method_Resolution_Or…_-_`__bases__`_includes…_(d2532518c44112c8).snap	[ty] Fix bug where ty would think all types had an `__mro__` attribute (#20995)	2025-10-27 11:19:12 +00:00
mro.md_-_Method_Resolution_Or…_-_`__bases__`_lists_th…_(6f8d0bf648c4b305).snap	[ty] Split `invalid-base` error code into two error codes (#18245)	2025-05-21 18:02:39 -04:00
mro.md_-_Method_Resolution_Or…_-_`__bases__`_lists_wi…_(ea7ebc83ec359b54).snap	[ty] Fix bug where ty would think all types had an `__mro__` attribute (#20995)	2025-10-27 11:19:12 +00:00
named_tuple.md_-_`NamedTuple`_-_`typing.NamedTuple`_-_Definition_(bbf79630502e65e9).snap	[ty] Cover full range of annotated assignments (#20261)	2025-09-05 10:12:40 +02:00
named_tuple.md_-_`NamedTuple`_-_`typing.NamedTuple`_-_Multiple_Inheritance_(82ed33d1b3b433d8).snap	[ty] Detect illegal multiple inheritance with `NamedTuple` (#19943)	2025-08-18 12:03:01 +00:00
new_types.md_-_NewType_-_The_base_of_a_`NewTy…_(9847ea9eddc316b4).snap	[ty] implement `typing.NewType` by adding `Type::NewTypeInstance`	2025-11-10 14:55:47 -08:00
new_types.md_-_NewType_-_Trying_to_subclass_a…_(fd3c73e2a9f04).snap	[ty] implement `typing.NewType` by adding `Type::NewTypeInstance`	2025-11-10 14:55:47 -08:00
no_matching_overload…_-_No_matching_overload…_-_A_class_constructor_…_(dd9f8a8f736a329).snap	[ty] Improve invalid method calls for unmatched overloads (#18122)	2025-05-15 11:39:14 -04:00
no_matching_overload…_-_No_matching_overload…_-_A_method_call_with_u…_(31cb5f881221158e).snap	[ty] Improve invalid method calls for unmatched overloads (#18122)	2025-05-15 11:39:14 -04:00
no_matching_overload…_-_No_matching_overload…_-_Call_to_function_wit…_(dd80c593d9136f35).snap	ty_python_semantic: improve failed overloaded function call	2025-05-14 11:13:41 -04:00
no_matching_overload…_-_No_matching_overload…_-_Call_to_function_wit…_(f66e3a8a3977c472).snap	ty_python_semantic: improve failed overloaded function call	2025-05-14 11:13:41 -04:00
no_matching_overload…_-_No_matching_overload…_-_Calls_to_overloaded_…_(3553d085684e16a0).snap	ty_python_semantic: improve failed overloaded function call	2025-05-14 11:13:41 -04:00
no_matching_overload…_-_No_matching_overload…_-_Calls_to_overloaded_…_(36814b28492c01d2).snap	ty_python_semantic: improve failed overloaded function call	2025-05-14 11:13:41 -04:00
not.md_-_Unary_not_-_Object_that_implemen…_(ab3f546bf004e24d).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
overloads.md_-_Overloads_-_Argument_type_expans…_-_Optimization___Limit_…_(cd61048adbc17331).snap	[ty] Filter out `revealed-type` and `undefined-reveal` diagnostics from mdtest snapshots (#20820)	2025-10-12 18:39:32 +00:00
overloads.md_-_Overloads_-_Invalid_-_At_least_two_overloa…_(84dadf8abd8f2f2).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
overloads.md_-_Overloads_-_Invalid_-_Inconsistent_decorat…_-_`@classmethod`_(aaa04d4cfa3adaba).snap	[ty] Infer type of `self` for decorated methods and properties (#21123)	2025-10-29 21:22:38 +00:00
overloads.md_-_Overloads_-_Invalid_-_Inconsistent_decorat…_-_`@final`_(f8e529ec23a61665).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
overloads.md_-_Overloads_-_Invalid_-_Inconsistent_decorat…_-_`@override`_(2df210735ca532f9).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
overloads.md_-_Overloads_-_Invalid_-_Overload_without_an_…_-_Regular_modules_(5c8e81664d1c7470).snap	[ty] Improve diagnostics for bad `@overload` definitions (#20745)	2025-10-07 21:52:57 +00:00
overloads.md_-_Overloads_-_Invalid_-_`@overload`-decorate…_(d17a1580f99a6402).snap	[ty] Improve diagnostics for bad `@overload` definitions (#20745)	2025-10-07 21:52:57 +00:00
protocols.md_-_Protocols_-_Calls_to_protocol_cl…_(288988036f34ddcf).snap	[ty] Filter out `revealed-type` and `undefined-reveal` diagnostics from mdtest snapshots (#20820)	2025-10-12 18:39:32 +00:00
protocols.md_-_Protocols_-_Diagnostics_for_prot…_(585a3e9545d41b64).snap	[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
protocols.md_-_Protocols_-_Invalid_calls_to_`ge…_(3d0c4ee818c4d8d5).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
protocols.md_-_Protocols_-_Narrowing_of_protoco…_(98257e7c2300373).snap	[ty] Filter out `revealed-type` and `undefined-reveal` diagnostics from mdtest snapshots (#20820)	2025-10-12 18:39:32 +00:00
protocols.md_-_Protocols_-_Protocol_members_in_…_(21be5d9bdab1c844).snap	[ty] Filter out `revealed-type` and `undefined-reveal` diagnostics from mdtest snapshots (#20820)	2025-10-12 18:39:32 +00:00
return_type.md_-_Function_return_type_-_Diagnostics_for_`inv…_(35563a74094b14d5).snap	[ty] Add diagnosis for function with no return statement but with return type annotation (#18359)	2025-05-29 23:17:18 +00:00
return_type.md_-_Function_return_type_-_Generator_functions_-_Asynchronous_(408134055c24a538).snap	[ty] Minor: test isolation (#19597)	2025-07-28 15:52:59 +02:00
return_type.md_-_Function_return_type_-_Generator_functions_-_Synchronous_(6a32ec69d15117b8).snap	[ty] Minor: test isolation (#19597)	2025-07-28 15:52:59 +02:00
return_type.md_-_Function_return_type_-_Invalid_conditional_…_(94c036c5d3803ab2).snap	[ty] Fix Inconsistent casing in diagnostic (#18084)	2025-05-14 08:26:48 +02:00
return_type.md_-_Function_return_type_-_Invalid_implicit_ret…_(3d2d19aa49b28f1c).snap	[ty] Add diagnosis for function with no return statement but with return type annotation (#18359)	2025-05-29 23:17:18 +00:00
return_type.md_-_Function_return_type_-_Invalid_implicit_ret…_(393cb38bf7119649).snap	[ty] Add diagnosis for function with no return statement but with return type annotation (#18359)	2025-05-29 23:17:18 +00:00
return_type.md_-_Function_return_type_-_Invalid_return_type_(a91e0c67519cd77f).snap	[ty] Improve disambiguation of types via fully qualified names (#20141)	2025-08-29 08:44:18 +00:00
return_type.md_-_Function_return_type_-_Invalid_return_type_…_(c3a523878447af6b).snap	Update default and latest Python versions for 3.14 (#20725)	2025-10-07 12:23:11 -04:00
rich_comparison.md_-_Comparison___Rich_Com…_-_Chained_comparisons_…_(c391c13e2abc18a0).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
scoping.md_-_Scoping_rules_for_ty…_-_Nested_formal_typeva…_-_Generic_class_within…_(711fb86287c4d87b).snap	[ty] Diagnostic for generic classes that reference typevars in enclosing scope (#20822)	2025-10-13 19:30:49 -04:00
scoping.md_-_Scoping_rules_for_ty…_-_Nested_formal_typeva…_-_Generic_class_within…_(3259718bf20b45a2).snap	[ty] Diagnostic for generic classes that reference typevars in enclosing scope (#20822)	2025-10-13 19:30:49 -04:00
semantic_syntax_erro…_-_Semantic_syntax_erro…_-_`async`_comprehensio…_-_Python_3.10_(96aa8ec77d46553d).snap	Standardize syntax error construction (#20903)	2025-10-16 11:56:32 -04:00
semantic_syntax_erro…_-_Semantic_syntax_erro…_-_`break`_and_`continu…_(3143ba0a999d644).snap	[ty] `continue` and `break` statements outside loops are syntax errors (#20944)	2025-10-17 17:13:40 +00:00
shadowing.md_-_Shadowing_-_Implicit_class_shado…_(c8ff9e3a079e8bd5).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
shadowing.md_-_Shadowing_-_Implicit_function_sh…_(a1515328b775ebc1).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
single_matching_over…_-_Single_matching_over…_-_Call_to_function_wit…_(8fdf5a06afc7d4fe).snap	[ty] Surface matched overload diagnostic directly (#18452)	2025-06-20 08:36:49 +05:30
single_matching_over…_-_Single_matching_over…_-_Limited_number_of_ov…_(93e9a157fdca3ab2).snap	[ty] Surface matched overload diagnostic directly (#18452)	2025-06-20 08:36:49 +05:30
super.md_-_Super_-_Basic_Usage_-_Explicit_Super_Objec…_(b753048091f275c0).snap	[ty] implement `typing.NewType` by adding `Type::NewTypeInstance`	2025-11-10 14:55:47 -08:00
super.md_-_Super_-_Basic_Usage_-_Implicit_Super_Objec…_(f9e5e48e3a4a4c12).snap	[ty] Infer type for implicit `self` parameters in method bodies (#20922)	2025-10-23 09:34:39 +02:00
sync.md_-_With_statements_-_Accidental_use_of_no…_(b07503f9b773ea61).snap	[ty] Diagnostics for async context managers (#19704)	2025-08-05 07:41:37 -07:00
too_many_positionals…_-_too-many-positional-…_(eafa522239b42502).snap	[ty] Improve diagnostics for bad calls to functions (#20022)	2025-08-21 22:00:44 +01:00
tuples.md_-_Comparison___Tuples_-_Chained_comparisons_…_(f45f1da2f8ca693d).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
tuples.md_-_Comparison___Tuples_-_Equality_with_elemen…_(39b614d4707c0661).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
ty_extensions.md_-_`ty_extensions`_-_Diagnostic_snapshots_(662547cd88c67f9f).snap	[ty] Rename type_api => ty_extensions (#19523)	2025-07-24 08:24:26 +00:00
typed_dict.md_-_`TypedDict`_-_Diagnostics_(e5289abf5c570c29).snap	[ty] Faster subscript assignment checks for (unions of) `TypedDict`s (#21378)	2025-11-12 20:16:38 +01:00
union_call.md_-_Calling_a_union_of_f…_-_A_smaller_scale_exam…_(c24ecd8582e5eb2f).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
union_call.md_-_Calling_a_union_of_f…_-_Multiple_variants_bu…_(d840ac443ca8ec7f).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
union_call.md_-_Calling_a_union_of_f…_-_Try_to_cover_all_pos…_-_Cover_keyword_argume…_(ad1d489710ee2a34).snap	[ty] eliminate is_fully_static (#18799)	2025-06-24 18:02:05 -07:00
union_call.md_-_Calling_a_union_of_f…_-_Try_to_cover_all_pos…_-_Cover_non-keyword_re…_(707b284610419a54).snap	[ty] Truncate type display for long unions in some situations (#20730)	2025-10-08 11:21:26 +01:00
union_call.md_-_Calling_a_union_of_f…_-_Try_to_cover_all_pos…_-_Truncation_for_long_…_(ec94b5e857284ef3).snap	[ty] Truncate Literal type display in some situations (#20928)	2025-10-17 11:50:58 +00:00
unknown_argument.md_-_Unknown_argument_dia…_(f419c2a8e2ce2412).snap	[ty] Improve diagnostics for bad calls to functions (#20022)	2025-08-21 22:00:44 +01:00
unpacking.md_-_Unpacking_-_Exactly_too_few_valu…_(f920ea85eefe9cfe).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
unpacking.md_-_Unpacking_-_Exactly_too_many_val…_(a53a2aec02bc999).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
unpacking.md_-_Unpacking_-_Right_hand_side_not_…_(fae6e2d526396252).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
unpacking.md_-_Unpacking_-_Too_few_values_to_un…_(cef19e6b2b58e6a3).snap	[ty] Support variable-length tuples in unpacking assignments (#18948)	2025-06-27 15:29:04 -04:00
unresolved_import.md_-_Unresolved_import_di…_-_An_unresolvable_impo…_(72d090df51ea97b8).snap	[ty] Add search paths info to unresolved import diagnostics (#20040)	2025-08-26 11:01:16 -04:00
unresolved_import.md_-_Unresolved_import_di…_-_Using_`from`_with_a_…_(12d4a70b7fc67cc6).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
unresolved_import.md_-_Unresolved_import_di…_-_Using_`from`_with_an…_(6cff507dc64a1bff).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
unresolved_import.md_-_Unresolved_import_di…_-_Using_`from`_with_an…_(9da56616d6332a83).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
unresolved_import.md_-_Unresolved_import_di…_-_Using_`from`_with_an…_(9fa713dfa17cc404).snap	[ty] Add search paths info to unresolved import diagnostics (#20040)	2025-08-26 11:01:16 -04:00
unresolved_import.md_-_Unresolved_import_di…_-_Using_`from`_with_to…_(4b8ba6ee48180cdd).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
unresolved_reference…_-_Diagnostics_for_unre…_-_New_builtin_used_on_…_(51edda0b1aebc2bf).snap	[ty] Tell the user why we inferred the Python version we inferred (#18082)	2025-05-21 11:06:27 -04:00
unsupported_bool_con…_-_Different_ways_that_…_-_Has_a_`__bool__`_att…_(2721d40bf12fe8b7).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
unsupported_bool_con…_-_Different_ways_that_…_-_Has_a_`__bool__`_met…_(15636dc4074e5335).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
unsupported_bool_con…_-_Different_ways_that_…_-_Has_a_`__bool__`_met…_(ce8b8da49eaf4cda).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
unsupported_bool_con…_-_Different_ways_that_…_-_Part_of_a_union_wher…_(7cca8063ea43c1a).snap	[ty] Shorten snapshot names (#18039)	2025-05-13 18:43:19 +02:00
version_related_synt…_-_Version-related_synt…_-_`match`_statement_-_Before_3.10_(2545eaa83b635b8b).snap	Standardize syntax error construction (#20903)	2025-10-16 11:56:32 -04:00