[ty] Use typing.Self for the first parameter of instance methods by sharkdp · Pull Request #20517 · astral-sh/ruff (original) (raw)

@sharkdp added the ty

Multi-file analysis & type inference

label

Sep 22, 2025

Glyphack

sharkdp

sharkdp

sharkdp

sharkdp

sharkdp

sharkdp

@sharkdp sharkdp deleted the david/implicit-self-signature branch

September 29, 2025 19:08

dcreager added a commit that referenced this pull request

Sep 30, 2025

@dcreager

ibraheemdev added a commit that referenced this pull request

Dec 10, 2025

@ibraheemdev

Summary

Extends #20517 to support the implicit type of cls in @classmethod signatures. Part of astral-sh/ty#159.

KotlinIsland pushed a commit to KotlinIsland/basedpython that referenced this pull request

May 1, 2026

@sharkdp

Summary

This removes a hack in the protocol satisfiability check that was previously needed to work around missing assignability-modeling of inferable type variables. Assignability of type variables is not implemented fully, but some recent changes allow us to remove that hack with limited impact on the ecosystem (and the test suite). The change in the typing conformance test is favorable.

Test Plan

KotlinIsland pushed a commit to KotlinIsland/basedpython that referenced this pull request

May 1, 2026

@ibraheemdev

This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.Learn more about bidirectional Unicode characters

[ Show hidden characters]({{ revealButtonHref }})