[ty] Enforce that an attribute on a class `X` must be callable in order to satisfy a member on a protocol `P` #20142
[ty] Small incremental progress towards checking the types of method …
ec01f4d8
AlexWaygood
force pushed
from
72347959
to
ec01f4d8
24 days ago
AlexWaygood
changed the title [ty] Small incremental progress towards checking the types of method members on protocols [ty] Enforce that an attribute on a class `X` must be callable in order to satisfy a member on a protocol `P` 24 days ago
AlexWaygood
marked this pull request as ready for review 24 days ago
carljm
approved these changes
on 2025-08-28
AlexWaygood
deleted the alex/dumb-method-members branch 24 days ago
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub