Alex Waygood b6de01b9a5 [red-knot] Ban direct instantiation of generic protocols as well as non-generic ones (#17741)

2025-04-30 16:01:28 +00:00

..

attribute_assignment.md_-_Attribute_assignment_-_`ClassVar`s.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

attribute_assignment.md_-_Attribute_assignment_-_Data_descriptors_-_Invalid_`__set__`_method_signature.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

attribute_assignment.md_-_Attribute_assignment_-_Data_descriptors_-_Invalid_argument_type.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

attribute_assignment.md_-_Attribute_assignment_-_Instance_attributes_with_class-level_defaults.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

attribute_assignment.md_-_Attribute_assignment_-_Possibly-unbound_attributes.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

attribute_assignment.md_-_Attribute_assignment_-_Pure_instance_attributes.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

attribute_assignment.md_-_Attribute_assignment_-_Setting_attributes_on_union_types.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

attribute_assignment.md_-_Attribute_assignment_-_Unknown_attributes.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

basic.md_-_Structures_-_Unresolvable_module_import.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

basic.md_-_Structures_-_Unresolvable_submodule_imports.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

for.md_-_For_loops_-_`__iter__`_does_not_return_an_iterator.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

for.md_-_For_loops_-_`__iter__`_method_with_a_bad_signature.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

for.md_-_For_loops_-_`__iter__`_returns_an_iterator_with_an_invalid_`__next__`_method.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

for.md_-_For_loops_-_Bad_`__getitem__`_method.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

for.md_-_For_loops_-_Invalid_iterable.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

for.md_-_For_loops_-_New_over_old_style_iteration_protocol.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

for.md_-_For_loops_-_No_`__iter__`_method_and_`__getitem__`_is_not_callable.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

for.md_-_For_loops_-_Possibly_invalid_`__getitem__`_methods.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

for.md_-_For_loops_-_Possibly_invalid_`__iter__`_methods.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

for.md_-_For_loops_-_Possibly_invalid_`__next__`_method.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

for.md_-_For_loops_-_Possibly_unbound_`__iter__`_and_bad_`__getitem__`_method.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

for.md_-_For_loops_-_Possibly_unbound_`__iter__`_and_possibly_invalid_`__getitem__`.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

for.md_-_For_loops_-_Possibly_unbound_`__iter__`_and_possibly_unbound_`__getitem__`.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

for.md_-_For_loops_-_Possibly-not-callable_`__getitem__`_method.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

for.md_-_For_loops_-_Union_type_as_iterable_where_one_union_element_has_invalid_`__iter__`_method.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

for.md_-_For_loops_-_Union_type_as_iterable_where_one_union_element_has_no_`__iter__`_method.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

for.md_-_For_loops_-_With_non-callable_iterator.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

functions.md_-_Generic_functions_-_Inferring_a_bound_typevar.snap

Create TypeVarInstance type for legacy typevars (#16538)

2025-04-29 09:03:06 -04:00

functions.md_-_Generic_functions_-_Inferring_a_constrained_typevar.snap

Create TypeVarInstance type for legacy typevars (#16538)

2025-04-29 09:03:06 -04:00

instances.md_-_Binary_operations_on_instances_-_Operations_involving_types_with_invalid_`__bool__`_methods.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

invalid_argument_type.md_-_Invalid_argument_type_diagnostics_-_Basic.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

invalid_argument_type.md_-_Invalid_argument_type_diagnostics_-_Calls_to_methods.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

invalid_argument_type.md_-_Invalid_argument_type_diagnostics_-_Different_files.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

invalid_argument_type.md_-_Invalid_argument_type_diagnostics_-_Different_source_order.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

invalid_argument_type.md_-_Invalid_argument_type_diagnostics_-_Many_parameters_across_multiple_lines.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

invalid_argument_type.md_-_Invalid_argument_type_diagnostics_-_Many_parameters_with_multiple_invalid_arguments.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

invalid_argument_type.md_-_Invalid_argument_type_diagnostics_-_Many_parameters.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

invalid_argument_type.md_-_Invalid_argument_type_diagnostics_-_Test_calling_a_function_whose_type_is_vendored_from_`typeshed`.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

invalid_argument_type.md_-_Invalid_argument_type_diagnostics_-_Tests_for_a_variety_of_argument_types_-_Keyword_only_arguments.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

invalid_argument_type.md_-_Invalid_argument_type_diagnostics_-_Tests_for_a_variety_of_argument_types_-_Mix_of_arguments.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

invalid_argument_type.md_-_Invalid_argument_type_diagnostics_-_Tests_for_a_variety_of_argument_types_-_One_keyword_argument.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

invalid_argument_type.md_-_Invalid_argument_type_diagnostics_-_Tests_for_a_variety_of_argument_types_-_Only_positional.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

invalid_argument_type.md_-_Invalid_argument_type_diagnostics_-_Tests_for_a_variety_of_argument_types_-_Synthetic_arguments.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

invalid_argument_type.md_-_Invalid_argument_type_diagnostics_-_Tests_for_a_variety_of_argument_types_-_Variadic_arguments.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

invalid_argument_type.md_-_Invalid_argument_type_diagnostics_-_Tests_for_a_variety_of_argument_types_-_Variadic_keyword_arguments.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

membership_test.md_-_Comparison___Membership_Test_-_Return_type_that_doesn't_implement_`__bool__`_correctly.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

no_matching_overload.md_-_No_matching_overload_diagnostics_-_Calls_to_overloaded_functions.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

not.md_-_Unary_not_-_Object_that_implements_`__bool__`_incorrectly.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

overloads.md_-_Overloads_-_Invalid_-_At_least_two_overloads.snap

[red-knot] Check for invalid overload usages (#17609)

2025-04-30 19:37:42 +05:30

overloads.md_-_Overloads_-_Invalid_-_Inconsistent_decorators_-_`@classmethod`.snap

[red-knot] Check decorator consistency on overloads (#17684)

2025-04-30 20:34:21 +05:30

overloads.md_-_Overloads_-_Invalid_-_Inconsistent_decorators_-_`@final`.snap

[red-knot] Check decorator consistency on overloads (#17684)

2025-04-30 20:34:21 +05:30

overloads.md_-_Overloads_-_Invalid_-_Inconsistent_decorators_-_`@override`.snap

[red-knot] Check decorator consistency on overloads (#17684)

2025-04-30 20:34:21 +05:30

overloads.md_-_Overloads_-_Invalid_-_Overload_without_an_implementation_-_Regular_modules.snap

[red-knot] Check overloads without an implementation (#17681)

2025-04-30 19:54:21 +05:30

protocols.md_-_Protocols_-_Calls_to_protocol_classes.snap

[red-knot] Ban direct instantiation of generic protocols as well as non-generic ones (#17741)

2025-04-30 16:01:28 +00:00

protocols.md_-_Protocols_-_Invalid_calls_to_`get_protocol_members()`.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

protocols.md_-_Protocols_-_Narrowing_of_protocols.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

return_type.md_-_Function_return_type_-_Invalid_conditional_return_type.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

return_type.md_-_Function_return_type_-_Invalid_implicit_return_type.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

return_type.md_-_Function_return_type_-_Invalid_return_type_in_stub_file.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

return_type.md_-_Function_return_type_-_Invalid_return_type.snap

Create TypeVarInstance type for legacy typevars (#16538)

2025-04-29 09:03:06 -04:00

rich_comparison.md_-_Comparison___Rich_Comparison_-_Chained_comparisons_with_objects_that_don't_implement_`__bool__`_correctly.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

semantic_syntax_errors.md_-_Semantic_syntax_error_diagnostics_-_`async`_comprehensions_in_synchronous_comprehensions_-_Python_3.10.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

shadowing.md_-_Shadowing_-_Implicit_class_shadowing.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

shadowing.md_-_Shadowing_-_Implicit_function_shadowing.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

tuples.md_-_Comparison___Tuples_-_Chained_comparisons_with_elements_that_incorrectly_implement_`__bool__`.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

tuples.md_-_Comparison___Tuples_-_Equality_with_elements_that_incorrectly_implement_`__bool__`.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

unpacking.md_-_Unpacking_-_Exactly_too_few_values_to_unpack.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

unpacking.md_-_Unpacking_-_Exactly_too_many_values_to_unpack.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

unpacking.md_-_Unpacking_-_Right_hand_side_not_iterable.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

unpacking.md_-_Unpacking_-_Too_few_values_to_unpack.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

unresolved_import.md_-_Unresolved_import_diagnostics_-_An_unresolvable_import_that_does_not_use_`from`.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

unresolved_import.md_-_Unresolved_import_diagnostics_-_Using_`from`_with_a_resolvable_module_but_unresolvable_item.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

unresolved_import.md_-_Unresolved_import_diagnostics_-_Using_`from`_with_an_unknown_current_module.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

unresolved_import.md_-_Unresolved_import_diagnostics_-_Using_`from`_with_an_unknown_nested_module.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

unresolved_import.md_-_Unresolved_import_diagnostics_-_Using_`from`_with_an_unresolvable_module.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

unresolved_import.md_-_Unresolved_import_diagnostics_-_Using_`from`_with_too_many_leading_dots.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

unsupported_bool_conversion.md_-_Different_ways_that_`unsupported-bool-conversion`_can_occur_-_Has_a_`__bool__`_attribute,_but_it's_not_callable.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

unsupported_bool_conversion.md_-_Different_ways_that_`unsupported-bool-conversion`_can_occur_-_Has_a_`__bool__`_method,_but_has_an_incorrect_return_type.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

unsupported_bool_conversion.md_-_Different_ways_that_`unsupported-bool-conversion`_can_occur_-_Has_a_`__bool__`_method,_but_has_incorrect_parameters.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

unsupported_bool_conversion.md_-_Different_ways_that_`unsupported-bool-conversion`_can_occur_-_Part_of_a_union_where_at_least_one_member_has_incorrect_`__bool__`_method.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00

version_related_syntax_errors.md_-_Version-related_syntax_error_diagnostics_-_`match`_statement_-_Before_3.10.snap

ruff_db: render file paths in diagnostics as relative paths if possible

2025-04-28 14:32:34 -04:00