ruff
[ty] Add subtyping between Callable types and class literals with `init`
#17638

Merged

[ty] Add subtyping between Callable types and class literals with `init` #17638

carljm merged 19 commits into astral-sh:main from MatthewMckee4:class-literal-init-callable-subtyping

Add initial subtyping with for class literals with init

65699131

MatthewMckee4 changed the title ~~[red-knot] Add initial subtyping with for class literals with init~~ [red-knot] Add subtyping with for class literals with init 243 days ago

Small refactor

a648a133

dhruvmanila added ty

Refactor

9bb69c4d

Merge branch 'main' into class-literal-init-callable-subtyping

4b2bbe4b

MatthewMckee4 marked this pull request as ready for review 234 days ago

MatthewMckee4 requested a review from

carljm 234 days ago

MatthewMckee4 requested a review from

AlexWaygood 234 days ago

MatthewMckee4 requested a review from

sharkdp 234 days ago

MatthewMckee4 requested a review from

dcreager 234 days ago

MatthewMckee4 changed the title ~~[red-knot] Add subtyping with for class literals with init~~ [red-knot] Add subtyping with for class literals with `__init__` 234 days ago

AlexWaygood changed the title ~~[red-knot] Add subtyping with for class literals with `__init__`~~ [red-knot] Add subtyping between Callable types and class literals with `__init__` 234 days ago

MatthewMckee4 commented on 2025-05-04

Fix variable name

e106e272

MatthewMckee4 commented on 2025-05-04

Update tests

5248d097

Update tests

fc157839

Correct return type of new

35e7efa7

Correct return type of new

36455c0b

Add test with call, new and init

89c2fd01

AlexWaygood closed this 234 days ago

AlexWaygood reopened this 234 days ago

carljm commented on 2025-05-09

Merge branch 'main' into class-literal-init-callable-subtyping

0df5734a

Fix concrete value of self

f6055f31

Move into_callable to ClassType

35d5b148

Add test for callable with SubclassOf type

b7fc2904

Remove test

504bfd4f

MichaReiser changed the title ~~[red-knot] Add subtyping between Callable types and class literals with `__init__`~~ [ty] Add subtyping between Callable types and class literals with `__init__` 226 days ago

Merge branch 'main' into class-literal-init-callable-subtyping

c1bb91dc

update for latest main

8466781f

another assignability test

084a338e

carljm force pushed from 4aa33be2 to 084a338e 210 days ago

fix ecosystem cases with type

3c416c3f

carljm approved these changes on 2025-05-28

carljm merged c60b4d7f into main 210 days ago

AlexWaygood commented on 2025-05-29

MatthewMckee4 deleted the class-literal-init-callable-subtyping branch 179 days ago

Reviewers

carljm

AlexWaygood

sharkdp

dcreager

Assignees

No one assigned

Labels

Milestone

No milestone

ruff [ty] Add subtyping between Callable types and class literals with `__init__` #17638 Merged

[ty] Add subtyping between Callable types and class literals with `__init__` #17638

ruff
[ty] Add subtyping between Callable types and class literals with `init`
#17638

Merged

[ty] Add subtyping between Callable types and class literals with `init` #17638