mirrors/ruff
1
0
Fork 0
mirror of https://github.com/astral-sh/ruff.git synced 2025-09-29 13:24:57 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions 3

Fix TODO related to protocols

Browse source
This commit is contained in:
David Peter 2025-09-25 13:40:31 +02:00
parent a285a0cdb6
commit 1476571596
2 changed files with 2 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

4
crates/ty_python_semantic/resources/mdtest/protocols.md
View file

@ -1977,12 +1977,12 @@ from typing_extensions import TypeVar, Self, Protocol
from ty_extensions import is_equivalent_to, static_assert, is_assignable_to, is_subtype_of
class NewStyleClassScoped[T](Protocol):
def method(self: Self, input: T) -> None: ...
def method(self, input: T) -> None: ...
S = TypeVar("S")
class LegacyClassScoped(Protocol[S]):
def method(self: Self, input: S) -> None: ...
def method(self, input: S) -> None: ...
# TODO: these should pass
static_assert(is_equivalent_to(NewStyleClassScoped, LegacyClassScoped)) # error: [static-assert-error]

2
crates/ty_python_semantic/src/types/signatures.rs
View file

@ -1232,8 +1232,6 @@ impl<'db> Parameters<'db> {
&& !is_static_or_classmethod
&& arg.parameter.annotation().is_none()
&& parameters.index(arg.name().id()) == Some(0)
// TODO: find out why we break protocol type property tests when we include them here:
&& !class.is_protocol(db)
{
let method_has_self_in_generic_context =
method.signature(db).overloads.iter().any(|s| {