astral-sh/ruff

Pull Requests Commits

[ty] Clean up quantified relation docs

charliermarsh committed 52 days ago

66a9bc47

[ty] Quantify generic callable ParamSpecs

charliermarsh committed 52 days ago

f3b62cfb

[ty] Clarify quantified projection results

charliermarsh committed 52 days ago

a25a09f4

[ty] Test callable quantifier algebra

charliermarsh committed 52 days ago

b2c2fcd1

[ty] Centralize lazy relation normalization

charliermarsh committed 52 days ago

336174d0

[ty] Isolate callable quantifier strategies

charliermarsh committed 52 days ago

43f77510

[ty] Centralize callable quantifier projection

charliermarsh committed 52 days ago

c5560e5b

[ty] Model quantified callable binders explicitly

charliermarsh committed 52 days ago

2568008d

[ty] Name quantified type variable sets neutrally

charliermarsh committed 52 days ago

6c7e2950

[ty] Preserve gradual Divergent assignability

charliermarsh committed 52 days ago

2deb1917

[ty] Bind unbounded generic receiver variables

charliermarsh committed 52 days ago

e52c76a4

[ty] Preserve gradual explicit-Any subclasses

charliermarsh committed 52 days ago

40943916

[ty] Preserve object-equivalent callable relations

charliermarsh committed 52 days ago

bcca1759

[ty] Expand union aliases before lazy constraints

charliermarsh committed 52 days ago

a0cd5800

Revert "[ty] Bind explicit generic receiver variables"

charliermarsh committed 52 days ago

54ab8bc7

Revert "[ty] Preserve explicit receiver typevar domains"

charliermarsh committed 52 days ago

c9ede39b

Revert "[ty] Promote constrained receiver specializations"

charliermarsh committed 52 days ago

38dc2084

Revert "[ty] Resolve aliases in explicit receiver annotations"

charliermarsh committed 52 days ago

61204f37

[ty] Resolve aliases in explicit receiver annotations

charliermarsh committed 52 days ago

87091e49

[ty] Promote constrained receiver specializations

charliermarsh committed 52 days ago

47631d43

[ty] Preserve nested lower bounds through projection

charliermarsh committed 52 days ago

cbe5ab1a

[ty] Bound nested signature specialization

charliermarsh committed 52 days ago

1e5cb5db

[ty] Project gradual target variables incrementally

charliermarsh committed 52 days ago

11517af2

[ty] Preserve constrained domain meets in universal projection

charliermarsh committed 52 days ago

a26051cb

[ty] Project covariant universal bounds

charliermarsh committed 52 days ago

88d22fb6

[ty] Keep gradual target domains factored

charliermarsh committed 52 days ago

a94b08e0

[ty] Quantify gradual callable constraints by choice

charliermarsh committed 52 days ago

c7c4870c

[ty] Preserve outer constraints through universal projection

charliermarsh committed 52 days ago

90c9a656

[ty] Preserve target quantification across ParamSpec overloads

charliermarsh committed 52 days ago

c1414fdf

[ty] Specialize nested constrained signatures directly

charliermarsh committed 52 days ago

66b7bb21

Older