Carl Meyer 3179b05221 [ty] don't assume in diagnostic messages that a TypedDict key error is about subscript access (#21166) ... ## Summary Before this PR, we would emit diagnostics like "Invalid key access" for a TypedDict literal with invalid key, which doesn't make sense since there's no "access" in that case. This PR just adjusts the wording to be more general, and adjusts the documentation of the lint rule too. I noticed this in the playground and thought it would be a quick fix. As usual, it turned out to be a bit more subtle than I expected, but for now I chose to punt on the complexity. We may ultimately want to have different rules for invalid subscript vs invalid TypedDict literal, because an invalid key in a TypedDict literal is low severity: it's a typo detector, but not actually a type error. But then there's another wrinkle there: if the TypedDict is `closed=True`, then it _is_ a type error. So would we want to separate the open and closed cases into separate rules, too? I decided to leave this as a question for future. If we wanted to use separate rules, or use specific wording for each case instead of the generalized wording I chose here, that would also involve a bit of extra work to distinguish the cases, since we use a generic set of functions for reporting these errors. ## Test Plan Added and updated mdtests.		2025-10-31 10:49:59 -04: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
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
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
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] Fix bug where ty would think all types had an `__mro__` attribute (#20995)	2025-10-27 11:19:12 +00: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] don't assume in diagnostic messages that a TypedDict key error is about subscript access (#21166)	2025-10-31 10:49:59 -04: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