Alex Waygood 0bd7a94c27 [ty] Improve unsupported-base and invalid-super-argument diagnostics to avoid extremely long lines when encountering verbose types (#22022)

2025-12-17 14:43:11 +00:00

..

annotations.md_-_Assignment_with_anno…_-_PEP-604_in_non-type-…_-_Earlier_versions_(f2859c9800f37c7).snap

[ty] Improve diagnostics for unsupported binary operations and unsupported augmented assignments (#21947)

2025-12-12 21:53:29 +00:00

assert_never.md_-_`assert_never`_-_Basic_functionality_-_Diagnostics_(be8f5d8b0718ee54).snap

…

assert_type.md_-_`assert_type`_-_Basic_(c507788da2659ec9).snap

[ty] Minor improvements to assert_type diagnostics (#21811)

2025-12-05 12:33:30 +00:00

assignment_diagnosti…_-_Subscript_assignment…_-_Invalid_key_type_-_For_a_`dict`_(4aa9d1d82d07fcf1).snap

[ty] Subscript assignment diagnostics follow-up (#21452)

2025-11-17 11:14:58 +00:00

assignment_diagnosti…_-_Subscript_assignment…_-_Invalid_key_type_-_For_a_`list`_(752cfa73fb34c1c).snap

[ty] Subscript assignment diagnostics follow-up (#21452)

2025-11-17 11:14:58 +00:00

assignment_diagnosti…_-_Subscript_assignment…_-_Invalid_key_type_for…_(815dae276e2fd2b7).snap

[ty] Further improve subscript assignment diagnostics (#21411)

2025-11-13 13:31:14 +01:00

assignment_diagnosti…_-_Subscript_assignment…_-_Invalid_value_type_-_For_a_`dict`_(177872afa1956fef).snap

[ty] Subscript assignment diagnostics follow-up (#21452)

2025-11-17 11:14:58 +00:00

assignment_diagnosti…_-_Subscript_assignment…_-_Invalid_value_type_-_For_a_`list`_(e7ebbd4af387837c).snap

[ty] Subscript assignment diagnostics follow-up (#21452)

2025-11-17 11:14:58 +00: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] Add IDE autofixes for two "Did you mean...?" suggestions (#21667)

2025-11-27 18:20:02 +00:00

assignment_diagnosti…_-_Subscript_assignment…_-_No_`__setitem__`_met…_(468f62a3bdd1d60c).snap

[ty] Further improve subscript assignment diagnostics (#21411)

2025-11-13 13:31:14 +01:00

assignment_diagnosti…_-_Subscript_assignment…_-_Possibly_missing_`__…_(efd3f0c02e9b89e9).snap

[ty] Further improve subscript assignment diagnostics (#21411)

2025-11-13 13:31:14 +01:00

assignment_diagnosti…_-_Subscript_assignment…_-_Unknown_key_for_all_…_(8a0f0e8ceccc51b2).snap

[ty] Add IDE autofixes for two "Did you mean...?" suggestions (#21667)

2025-11-27 18:20:02 +00:00

assignment_diagnosti…_-_Subscript_assignment…_-_Unknown_key_for_one_…_(b515711c0a451a86).snap

[ty] implement TypedDict structural assignment (#21467)

2025-11-20 13:15:28 -08:00

assignment_diagnosti…_-_Subscript_assignment…_-_Wrong_value_type_for…_(57372b65e30392a8).snap

[ty] Further improve subscript assignment diagnostics (#21411)

2025-11-13 13:31:14 +01:00

assignment_diagnosti…_-_Subscript_assignment…_-_Wrong_value_type_for…_(ffe39a3bae68cfe4).snap

[ty] Further improve subscript assignment diagnostics (#21411)

2025-11-13 13:31:14 +01: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

async.md_-_Async_with_statement…_-_Accidental_use_of_as…_(5b8c1b4d846bc544).snap

…

attribute_assignment…_-_Attribute_assignment_-_`ClassVar`s_(8d7cca27987b099d).snap

…

attribute_assignment…_-_Attribute_assignment_-_Data_descriptors_-_Invalid_`__set__`_me…_(116c27bd98838df7).snap

…

attribute_assignment…_-_Attribute_assignment_-_Data_descriptors_-_Invalid_argument_typ…_(a903c11fedbc5020).snap

…

attribute_assignment…_-_Attribute_assignment_-_Instance_attributes_…_(ebfb3de6d1b96b23).snap

…

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

…

attribute_assignment…_-_Attribute_assignment_-_Setting_attributes_o…_(467e26496f4c0c13).snap

[ty] Improve disambiguation of types in many cases (#22019)

2025-12-17 11:41:07 +00:00

attribute_assignment…_-_Attribute_assignment_-_Unknown_attributes_(368ba83a71ef2120).snap

…

attributes.md_-_Attributes_-_Attributes_of_standa…_(49ba2c9016d64653).snap

[ty] Add hint about resolved Python version when a user attempts to import a member added on a newer version (#21615)

2025-11-24 15:12:01 +00:00

attributes.md_-_Attributes_-_Invalid_access_to_at…_(5457445ffed43a87).snap

…

attributes.md_-_Attributes_-_Unimported_submodule…_(2b6da09ed380b2).snap

[ty] Switch the error code from unresolved-attribute to possibly-missing-attribute for submodules that may not be available (#21618)

2025-11-24 19:15:45 +00:00

augmented.md_-_Augmented_assignment_-_Unsupported_types_(a041d9e40c83a8ac).snap

[ty] Improve diagnostics for unsupported binary operations and unsupported augmented assignments (#21947)

2025-12-12 21:53:29 +00:00

basic.md_-_Exception_Handling_-_Invalid_exception_ha…_(d394c561bdd35078).snap

[ty] Improve diagnostics for invalid exceptions (#21475)

2025-11-15 22:12:00 +00:00

basic.md_-_Exception_Handling_-_Special-cased_diagno…_(a97274530a7f61c1).snap

[ty] Improve diagnostics for invalid exceptions (#21475)

2025-11-15 22:12:00 +00:00

basic.md_-_Structures_-_Attempting_to_import…_(2fcfcf567587a056).snap

…

basic.md_-_Structures_-_Attempting_to_import…_(c14954eefd15211f).snap

…

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

…

basic.md_-_Structures_-_Unresolvable_module_…_(846453deaca1071c).snap

…

basic.md_-_Structures_-_Unresolvable_submodu…_(4fad4be9778578b7).snap

…

builtins.md_-_Calling_builtins_-_The_builtin_`NotImpl…_(ac366391ebdec9c0).snap

[ty] Improve diagnostics when NotImplemented is called (#21523)

2025-11-19 19:27:12 +00:00

cast.md_-_`cast`_-_Diagnostic_snapshots_(91dd3d45b6d7f2c8).snap

…

classes.md_-_Generic_classes___Leg…_-_Diagnostics_for_bad_…_(2ceba7b720e21b8b).snap

[ty] Show the user where the type variable was defined in invalid-type-arguments diagnostics (#21727)

2025-12-01 12:25:49 +00:00

classes.md_-_Generic_classes___PEP…_-_Diagnostics_for_bad_…_(cf706b07cf0ec31f).snap

[ty] Show the user where the type variable was defined in invalid-type-arguments diagnostics (#21727)

2025-12-01 12:25:49 +00:00

custom.md_-_Custom_binary_operat…_-_Classes_(93f2f1c488e06f53).snap

[ty] Improve diagnostics for unsupported binary operations and unsupported augmented assignments (#21947)

2025-12-12 21:53:29 +00:00

custom.md_-_Custom_binary_operat…_-_Classes_from_differe…_(2890e4875c9b9c1e).snap

[ty] Improve diagnostics for unsupported binary operations and unsupported augmented assignments (#21947)

2025-12-12 21:53:29 +00: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

dataclasses.md_-_Dataclasses_-_Other_dataclass_para…_-_frozen__non-frozen_in…_(9af2ab07b8e829e).snap

[ty] Emit a diagnostic when frozen dataclass inherits a non-frozen dataclass and the other way around (#21962)

2025-12-13 20:59:26 +00:00

deprecated.md_-_Tests_for_the_`@depr…_-_Introduction_(cff2724f4c9d28c4).snap

[ty] Infer typevar specializations for Callable types (#21551)

2025-12-16 09:16:49 -08:00

deprecated.md_-_Tests_for_the_`@depr…_-_Syntax_(142fa2948c3c6cf1).snap

[ty] Sync vendored typeshed stubs (#21715)

2025-12-03 15:49:51 +00:00

descriptor_protocol.…_-_Descriptor_protocol_-_Special_descriptors_-_Properties_with_no_s…_(176795bc1727dda7).snap

…

final.md_-_`typing.Final`_-_Full_diagnostics_(174fdd8134fb325b).snap

…

final.md_-_Tests_for_the_`@typi…_-_A_possibly-undefined…_(fc7b496fd1986deb).snap

[ty] Improve @override, @final and Liskov checks in cases where there are multiple reachable definitions (#21767)

2025-12-03 12:51:36 +00:00

final.md_-_Tests_for_the_`@typi…_-_Cannot_override_a_me…_(338615109711a91b).snap

[ty] Don't introduce invalid syntax when autofixing override-of-final-method (#21699)

2025-11-30 13:40:33 +00:00

final.md_-_Tests_for_the_`@typi…_-_Diagnostic_edge_case…_(2389d52c5ecfa2bd).snap

[ty] Don't introduce invalid syntax when autofixing override-of-final-method (#21699)

2025-11-30 13:40:33 +00:00

final.md_-_Tests_for_the_`@typi…_-_Only_the_first_`@fin…_(9863b583f4c651c5).snap

[ty] Don't introduce invalid syntax when autofixing override-of-final-method (#21699)

2025-11-30 13:40:33 +00:00

final.md_-_Tests_for_the_`@typi…_-_Overloaded_methods_d…_(861757f48340ed92).snap

[ty] Don't introduce invalid syntax when autofixing override-of-final-method (#21699)

2025-11-30 13:40:33 +00:00

final.md_-_Tests_for_the_`@typi…_-_Overloads_in_statica…_(29a698d9deaf7318).snap

[ty] Improve @override, @final and Liskov checks in cases where there are multiple reachable definitions (#21767)

2025-12-03 12:51:36 +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

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

…

for.md_-_For_loops_-_New_over_old_style_i…_(a90ba167a7c191eb).snap

…

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_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_-_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_-_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

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…_-_`__slots__`___incompa…_(98b54233987eb654).snap

…

instance_layout_conf…_-_Tests_for_ty's_`inst…_-_Built-ins_with_impli…_(f5857d64ce69ca1d).snap

…

instance.md_-_Instance_subscript_-_`__getitem__`_unboun…_(b1b0f9ed2b7302b2).snap

[ty] Improve diagnostic range for non-subscriptable diagnostics (#21461)

2025-11-14 21:15:14 +00:00

instances.md_-_Binary_operations_on…_-_Operations_involving…_(492b1163b8163c05).snap

[ty] Uniformly use "not supported" in diagnostics (#21916)

2025-12-11 15:03:55 +00:00

intersections.md_-_Comparison___Intersec…_-_Diagnostics_-_Unsupported_operator…_(27f95f68d1c826ec).snap

[ty] Improve diagnostics for unsupported comparison operations (#21737)

2025-12-02 19:58:45 +00:00

invalid_argument_typ…_-_Invalid_argument_typ…_-_Basic_(16be9d90a741761).snap

…

invalid_argument_typ…_-_Invalid_argument_typ…_-_Calls_to_methods_(4b3b8695d519a02).snap

…

invalid_argument_typ…_-_Invalid_argument_typ…_-_Different_files_(d02c38e2dd054b4c).snap

…

invalid_argument_typ…_-_Invalid_argument_typ…_-_Different_source_ord…_(9b0bf549733d3f0a).snap

…

invalid_argument_typ…_-_Invalid_argument_typ…_-_Many_parameters_(ee38fd34ceba3293).snap

…

invalid_argument_typ…_-_Invalid_argument_typ…_-_Many_parameters_acro…_(1d5d112808c49e9d).snap

…

invalid_argument_typ…_-_Invalid_argument_typ…_-_Many_parameters_with…_(4bc5c16cd568b8ec).snap

…

invalid_argument_typ…_-_Invalid_argument_typ…_-_Test_calling_a_funct…_(3b18271a821a59b).snap

…

invalid_argument_typ…_-_Invalid_argument_typ…_-_Tests_for_a_variety_…_-_Keyword_only_argumen…_(8d9f18c78137411).snap

…

invalid_argument_typ…_-_Invalid_argument_typ…_-_Tests_for_a_variety_…_-_Mix_of_arguments_(cfc64b1136058112).snap

…

invalid_argument_typ…_-_Invalid_argument_typ…_-_Tests_for_a_variety_…_-_One_keyword_argument_(cc34b2f7d19d427e).snap

…

invalid_argument_typ…_-_Invalid_argument_typ…_-_Tests_for_a_variety_…_-_Only_positional_(3dc93b1709eb3be9).snap

…

invalid_argument_typ…_-_Invalid_argument_typ…_-_Tests_for_a_variety_…_-_Synthetic_arguments_(4c09844bbbf47741).snap

…

invalid_argument_typ…_-_Invalid_argument_typ…_-_Tests_for_a_variety_…_-_Variadic_arguments_(e26a3e7b2773a63b).snap

…

invalid_argument_typ…_-_Invalid_argument_typ…_-_Tests_for_a_variety_…_-_Variadic_keyword_arg…_(4c855e39ea6baeaf).snap

…

invalid_argument_typ…_-_Invalid_argument_typ…_-_Types_with_the_same_…_(34531e82322f6f21).snap

[ty] Improve disambiguation of types in many cases (#22019)

2025-12-17 11:41:07 +00:00

invalid_argument_typ…_-_Invalid_argument_typ…_-_TypeVars_with_bounds…_(25b61918ea9f5644).snap

[ty] Improve disambiguation of types in many cases (#22019)

2025-12-17 11:41:07 +00:00

invalid_assignment.m…_-_Invalid_assignment_d…_-_Annotated_assignment_(4b799ca1eeb857b9).snap

[ty] Better invalid-assignment diagnostics (#21476)

2025-11-18 14:31:04 +01:00

invalid_assignment.m…_-_Invalid_assignment_d…_-_Multiline_expression…_(f316976ffe72c6c7).snap

[ty] Better invalid-assignment diagnostics (#21476)

2025-11-18 14:31:04 +01:00

invalid_assignment.m…_-_Invalid_assignment_d…_-_Multiple_targets_(e20ddfd7a91affb0).snap

[ty] Avoid expression reinference for diagnostics (#21267)

2025-11-25 09:24:00 -08:00

invalid_assignment.m…_-_Invalid_assignment_d…_-_Named_expression_(35c120b3bd9929f8).snap

[ty] Better invalid-assignment diagnostics (#21476)

2025-11-18 14:31:04 +01:00

invalid_assignment.m…_-_Invalid_assignment_d…_-_Unannotated_assignme…_(67e4b9239d5681a).snap

[ty] Better invalid-assignment diagnostics (#21476)

2025-11-18 14:31:04 +01:00

invalid_await.md_-_Invalid_await_diagno…_-_`__await__`_definiti…_(15b05c126b6ae968).snap

…

invalid_await.md_-_Invalid_await_diagno…_-_`__await__`_definiti…_(ccb69f512135dd61).snap

…

invalid_await.md_-_Invalid_await_diagno…_-_Basic_(f15db7dc447d0795).snap

[ty] Sync vendored typeshed stubs (#21466)

2025-11-15 17:12:32 +00:00

invalid_await.md_-_Invalid_await_diagno…_-_Custom_type_with_mis…_(9ce1ee3cd1c9c8d1).snap

…

invalid_await.md_-_Invalid_await_diagno…_-_Custom_type_with_pos…_(a028edbafe180ca).snap

…

invalid_await.md_-_Invalid_await_diagno…_-_Invalid_union_return…_(fedf62ffaca0f2d7).snap

…

invalid_await.md_-_Invalid_await_diagno…_-_Non-callable_`__awai…_(d78580fb6720e4ea).snap

…

invalid_type_paramet…_-_Invalid_Order_of_Leg…_(eaa359e8d6b3031d).snap

[ty] Emit diagnostic when a type variable with a default is followed by one without a default (#21787)

2025-12-14 19:35:37 +00:00

invalid.md_-_Tests_for_invalid_ty…_-_Diagnostics_for_comm…_-_List-literal_used_wh…_(f80dbf5dd571c940).snap

…

invalid.md_-_Tests_for_invalid_ty…_-_Diagnostics_for_comm…_-_Module-literal_used_…_(652fec4fd4a6c63a).snap

[ty] Add IDE autofixes for two "Did you mean...?" suggestions (#21667)

2025-11-27 18:20:02 +00:00

invalid.md_-_Tests_for_invalid_ty…_-_Diagnostics_for_comm…_-_Tuple-literal_used_w…_(f61204fc81905069).snap

…

isinstance.md_-_Narrowing_for_`isins…_-_`classinfo`_is_an_in…_(eeef56c0ef87a30b).snap

[ty] highlight special type syntax in hovers as xml (#22005)

2025-12-16 14:20:35 +00: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…_-_`TypeVar`_parameter_…_(8424f2b8bc4351f9).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…_-_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

liskov.md_-_The_Liskov_Substitut…_-_Bad_override_of_`__e…_(4b336040d5332220).snap

[ty] Check method definitions on subclasses for Liskov violations (#21436)

2025-11-23 18:08:15 +00:00

liskov.md_-_The_Liskov_Substitut…_-_Edge_case___function_…_(c8756a54d1cb8499).snap

[ty] Check method definitions on subclasses for Liskov violations (#21436)

2025-11-23 18:08:15 +00:00

liskov.md_-_The_Liskov_Substitut…_-_Fully_qualified_name…_(8f6f7c5aace58329).snap

[ty] Check method definitions on subclasses for Liskov violations (#21436)

2025-11-23 18:08:15 +00:00

liskov.md_-_The_Liskov_Substitut…_-_Method_parameters_(d98059266bcc1e13).snap

[ty] Check method definitions on subclasses for Liskov violations (#21436)

2025-11-23 18:08:15 +00:00

liskov.md_-_The_Liskov_Substitut…_-_Method_return_types_(3e0c19bed14cfacd).snap

[ty] Check method definitions on subclasses for Liskov violations (#21436)

2025-11-23 18:08:15 +00:00

liskov.md_-_The_Liskov_Substitut…_-_Staticmethods_and_cl…_(49e28aae6fdd1291).snap

[ty] Extend Liskov checks to also cover classmethods and staticmethods (#21598)

2025-11-24 23:14:06 +00:00

liskov.md_-_The_Liskov_Substitut…_-_Synthesized_methods_(9e6e6c7368530460).snap

[ty] Check method definitions on subclasses for Liskov violations (#21436)

2025-11-23 18:08:15 +00:00

liskov.md_-_The_Liskov_Substitut…_-_The_entire_class_hie…_(5e8fca10d966c36e).snap

[ty] Check method definitions on subclasses for Liskov violations (#21436)

2025-11-23 18:08:15 +00:00

literal_string.md_-_`LiteralString`_-_Usages_-_Parameterized_(ec84ce49ea235791).snap

[ty] Improve several "Did you mean?" suggestions (#21597)

2025-11-25 10:29:01 +00:00

membership_test.md_-_Comparison___Membersh…_-_Return_type_that_doe…_(feccf6b9da1e7cd3).snap

[ty] Uniformly use "not supported" in diagnostics (#21916)

2025-12-11 15:03:55 +00:00

missing_argument.md_-_Missing_argument_dia…_(f0811e84fcea1085).snap

[ty] Improve rendering of default values for function args (#22010)

2025-12-16 13:39:19 -05:00

mro.md_-_Method_Resolution_Or…_-_`__bases__`_includes…_(d2532518c44112c8).snap

[ty] Improve unsupported-base and invalid-super-argument diagnostics to avoid extremely long lines when encountering verbose types (#22022)

2025-12-17 14:43:11 +00:00

mro.md_-_Method_Resolution_Or…_-_`__bases__`_lists_th…_(6f8d0bf648c4b305).snap

[ty] Improve unsupported-base and invalid-super-argument diagnostics to avoid extremely long lines when encountering verbose types (#22022)

2025-12-17 14:43:11 +00:00

mro.md_-_Method_Resolution_Or…_-_`__bases__`_lists_wi…_(ea7ebc83ec359b54).snap

[ty] Add 'remove unused ignore comment' code action (#21582)

2025-11-25 08:08:21 -05:00

mro.md_-_Method_Resolution_Or…_-_Unresolvable_MROs_in…_(e2b355c09a967862).snap

[ty] highlight special type syntax in hovers as xml (#22005)

2025-12-16 14:20:35 +00:00

named_tuple.md_-_`NamedTuple`_-_`typing.NamedTuple`_-_Definition_(bbf79630502e65e9).snap

…

named_tuple.md_-_`NamedTuple`_-_`typing.NamedTuple`_-_Multiple_Inheritance_(82ed33d1b3b433d8).snap

…

named_tuple.md_-_`NamedTuple`_-_Edge_case___multiple_…_(f30babd05c89dce9).snap

[ty] Improve @override, @final and Liskov checks in cases where there are multiple reachable definitions (#21767)

2025-12-03 12:51:36 +00:00

named_tuple.md_-_`NamedTuple`_-_NamedTuples_cannot_h…_(e2ed186fe2b2fc35).snap

[ty] Emit invalid-named-tuple on namedtuple classes that have field names starting with underscores (#21697)

2025-12-01 11:36:02 +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

…

no_matching_overload…_-_No_matching_overload…_-_A_method_call_with_u…_(31cb5f881221158e).snap

…

no_matching_overload…_-_No_matching_overload…_-_Call_to_function_wit…_(dd80c593d9136f35).snap

…

no_matching_overload…_-_No_matching_overload…_-_Call_to_function_wit…_(f66e3a8a3977c472).snap

…

no_matching_overload…_-_No_matching_overload…_-_Calls_to_overloaded_…_(3553d085684e16a0).snap

…

no_matching_overload…_-_No_matching_overload…_-_Calls_to_overloaded_…_(36814b28492c01d2).snap

…

not.md_-_Unary_not_-_Object_that_implemen…_(ab3f546bf004e24d).snap

[ty] Uniformly use "not supported" in diagnostics (#21916)

2025-12-11 15:03:55 +00: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_-_`@overload`-decorate…_(d17a1580f99a6402).snap

[ty] Improve diagnostics for bad @overload definitions (#20745)

2025-10-07 21:52:57 +00:00

overloads.md_-_Overloads_-_Invalid_-_At_least_two_overloa…_(84dadf8abd8f2f2).snap

…

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

…

overloads.md_-_Overloads_-_Invalid_-_Inconsistent_decorat…_-_`@override`_(2df210735ca532f9).snap

…

overloads.md_-_Overloads_-_Invalid_-_Overload_without_an_…_-_Regular_modules_(5c8e81664d1c7470).snap

[ty] Improve check enforcing that an overloaded function must have an implementation (#21978)

2025-12-15 08:56:35 +00:00

override.md_-_`typing.override`_-_Basics_(b7c220f8171f11f0).snap

[ty] Extend invalid-explicit-override to also cover properties decorated with @override that do not override anything (#21756)

2025-12-03 11:27:47 +00:00

protocols.md_-_Protocols_-_Calls_to_protocol_cl…_(288988036f34ddcf).snap

[ty] highlight special type syntax in hovers as xml (#22005)

2025-12-16 14:20:35 +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

…

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

…

return_type.md_-_Function_return_type_-_Generator_functions_-_Asynchronous_(408134055c24a538).snap

…

return_type.md_-_Function_return_type_-_Generator_functions_-_Synchronous_(6a32ec69d15117b8).snap

…

return_type.md_-_Function_return_type_-_Invalid_conditional_…_(94c036c5d3803ab2).snap

…

return_type.md_-_Function_return_type_-_Invalid_implicit_ret…_(3d2d19aa49b28f1c).snap

…

return_type.md_-_Function_return_type_-_Invalid_implicit_ret…_(393cb38bf7119649).snap

…

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

return_type.md_-_Function_return_type_-_Invalid_return_type_(a91e0c67519cd77f).snap

…

rich_comparison.md_-_Comparison___Rich_Com…_-_Chained_comparisons_…_(c391c13e2abc18a0).snap

[ty] Uniformly use "not supported" in diagnostics (#21916)

2025-12-11 15:03:55 +00: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

semantic_syntax_erro…_-_Semantic_syntax_erro…_-_name_is_parameter_an…_(99bae53daf67ae6e).snap

[ty] name is parameter and global is a syntax error (#21312)

2025-11-14 18:15:34 +00:00

shadowing.md_-_Shadowing_-_Implicit_class_shado…_(c8ff9e3a079e8bd5).snap

[ty] Better invalid-assignment diagnostics (#21476)

2025-11-18 14:31:04 +01:00

shadowing.md_-_Shadowing_-_Implicit_function_sh…_(a1515328b775ebc1).snap

[ty] Better invalid-assignment diagnostics (#21476)

2025-11-18 14:31:04 +01:00

single_matching_over…_-_Single_matching_over…_-_Call_to_function_wit…_(8fdf5a06afc7d4fe).snap

…

single_matching_over…_-_Single_matching_over…_-_Limited_number_of_ov…_(93e9a157fdca3ab2).snap

…

special_form_attribu…_-_Diagnostics_for_inva…_(249d635e74a41c9e).snap

[ty] Add subdiagnostic hint if the user wrote X = Any rather than X: Any (#21777)

2025-12-03 20:42:21 +00:00

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 of implicit cls parameter in method bodies (#21685)

2025-12-10 10:31:28 +01:00

super.md_-_Super_-_Invalid_Usages_-_Diagnostic_when_the_…_(93e8ab913ead83b2).snap

[ty] Improve unsupported-base and invalid-super-argument diagnostics to avoid extremely long lines when encountering verbose types (#22022)

2025-12-17 14:43:11 +00:00

sync.md_-_With_statements_-_Accidental_use_of_no…_(b07503f9b773ea61).snap

…

too_many_positionals…_-_too-many-positional-…_(eafa522239b42502).snap

[ty] Improve rendering of default values for function args (#22010)

2025-12-16 13:39:19 -05:00

tuples.md_-_Comparison___Tuples_-_Chained_comparisons_…_(f45f1da2f8ca693d).snap

[ty] Uniformly use "not supported" in diagnostics (#21916)

2025-12-11 15:03:55 +00:00

tuples.md_-_Comparison___Tuples_-_Equality_with_elemen…_(39b614d4707c0661).snap

[ty] Uniformly use "not supported" in diagnostics (#21916)

2025-12-11 15:03:55 +00:00

tuples.md_-_Comparison___Tuples_-_Heterogeneous_-_Value_Comparisons_-_Comparison_Unsupport…_(966dd82bd3668d0e).snap

[ty] Improve diagnostics for unsupported comparison operations (#21737)

2025-12-02 19:58:45 +00:00

ty_extensions.md_-_`ty_extensions`_-_Diagnostic_snapshots_(662547cd88c67f9f).snap

…

ty_ignore.md_-_Suppressing_errors_w…_-_Multiple_unused_comm…_(7cbe4a1d9893a05).snap

[ty] Add 'remove unused ignore comment' code action (#21582)

2025-11-25 08:08:21 -05:00

type_ignore.md_-_Suppressing_errors_w…_-_Nested_comments_(6e4dc67270e388d2).snap

[ty] Add 'remove unused ignore comment' code action (#21582)

2025-11-25 08:08:21 -05:00

typed_dict.md_-_`TypedDict`_-_Diagnostics_(e5289abf5c570c29).snap

[ty] Preserve quoting style when autofixing TypedDict keys (#21682)

2025-11-28 18:40:34 +00:00

typed_dict.md_-_`TypedDict`_-_Error_cases_-_`typing.TypedDict`_i…_(9df67eb93e3df341).snap

[ty] Improve several "Did you mean?" suggestions (#21597)

2025-11-25 10:29:01 +00:00

typed_dict.md_-_`TypedDict`_-_Redundant_cast_warni…_(75ac240a2d1f7108).snap

[ty] add SyntheticTypedDictType and implement normalized and is_equivalent_to (#21784)

2025-12-10 20:36:36 +00:00

union_call.md_-_Calling_a_union_of_f…_-_A_smaller_scale_exam…_(c24ecd8582e5eb2f).snap

…

union_call.md_-_Calling_a_union_of_f…_-_Multiple_variants_bu…_(d840ac443ca8ec7f).snap

…

union_call.md_-_Calling_a_union_of_f…_-_Try_to_cover_all_pos…_-_Cover_keyword_argume…_(ad1d489710ee2a34).snap

…

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

unions.md_-_Comparison___Unions_-_Unsupported_operatio…_(e15acf820f65e3e4).snap

[ty] Improve diagnostics for unsupported comparison operations (#21737)

2025-12-02 19:58:45 +00:00

unknown_argument.md_-_Unknown_argument_dia…_(f419c2a8e2ce2412).snap

[ty] Improve rendering of default values for function args (#22010)

2025-12-16 13:39:19 -05:00

unpacking.md_-_Unpacking_-_Exactly_too_few_valu…_(f920ea85eefe9cfe).snap

…

unpacking.md_-_Unpacking_-_Exactly_too_many_val…_(a53a2aec02bc999).snap

…

unpacking.md_-_Unpacking_-_Right_hand_side_not_…_(fae6e2d526396252).snap

…

unpacking.md_-_Unpacking_-_Too_few_values_to_un…_(cef19e6b2b58e6a3).snap

…

unreachable.md_-_Unreachable_code_-_`Never`-inferred_var…_(6ce5aa6d2a0ce029).snap

[ty] Add subdiagnostic hint if a variable with type Never is used in a type expression (#21660)

2025-11-27 12:48:18 +00:00

unresolved_import.md_-_Unresolved_import_di…_-_An_unresolvable_impo…_(72d090df51ea97b8).snap

…

unresolved_import.md_-_Unresolved_import_di…_-_Using_`from`_with_a_…_(12d4a70b7fc67cc6).snap

…

unresolved_import.md_-_Unresolved_import_di…_-_Using_`from`_with_an…_(6cff507dc64a1bff).snap

[ty] Attach subdiagnostics to unresolved-import errors for relative imports as well as absolute imports (#21554)

2025-11-21 12:40:53 +00:00

unresolved_import.md_-_Unresolved_import_di…_-_Using_`from`_with_an…_(9da56616d6332a83).snap

[ty] Attach subdiagnostics to unresolved-import errors for relative imports as well as absolute imports (#21554)

2025-11-21 12:40:53 +00:00

unresolved_import.md_-_Unresolved_import_di…_-_Using_`from`_with_an…_(9fa713dfa17cc404).snap

…

unresolved_import.md_-_Unresolved_import_di…_-_Using_`from`_with_to…_(4b8ba6ee48180cdd).snap

[ty] Improve debug messages when imports fail (#21555)

2025-11-21 13:45:57 +00:00

unresolved_reference…_-_Diagnostics_for_unre…_-_New_builtin_used_on_…_(51edda0b1aebc2bf).snap

…

unsupported_bool_con…_-_Different_ways_that_…_-_Has_a_`__bool__`_att…_(2721d40bf12fe8b7).snap

[ty] Uniformly use "not supported" in diagnostics (#21916)

2025-12-11 15:03:55 +00:00

unsupported_bool_con…_-_Different_ways_that_…_-_Has_a_`__bool__`_met…_(15636dc4074e5335).snap

[ty] Uniformly use "not supported" in diagnostics (#21916)

2025-12-11 15:03:55 +00:00

unsupported_bool_con…_-_Different_ways_that_…_-_Has_a_`__bool__`_met…_(ce8b8da49eaf4cda).snap

[ty] Uniformly use "not supported" in diagnostics (#21916)

2025-12-11 15:03:55 +00:00

unsupported_bool_con…_-_Different_ways_that_…_-_Part_of_a_union_wher…_(7cca8063ea43c1a).snap

[ty] Uniformly use "not supported" in diagnostics (#21916)

2025-12-11 15:03:55 +00:00

unsupported.md_-_Comparison___Unsuppor…_(c13dd5902282489a).snap

[ty] Improve diagnostics for unsupported comparison operations (#21737)

2025-12-02 19:58:45 +00: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