ruff
[ty] More consistent encoding of which typevars are inferable
#27653

Open

[ty] More consistent encoding of which typevars are inferable #27653

dcreager wants to merge 7 commits into main from dcreager/inferable-bounds

dcreager added internal

dcreager added ty

dcreager force pushed from 2e7ee33b to 38474d92 3 days ago

[π] Make specialization builders context-owned

4ee5ae7c

[π] Use direct TypeVar scopes outside call inference

a24e51ad

[π] Infer only signature-owned TypeVars

46371ca4

[π] Fully specialize retained Self domains

d49c3c69

[π] Remove recursive bound-derived inferability

7a0bb043

dcreager force pushed from 38474d92 to 7a0bb043 2 days ago

clean this up

124b4172

[π] Clarify owner specialization of member Self domains

45abf8d3

Reviewers

No reviews

Assignees

No one assigned

Labels

internal ty

Milestone

No milestone