PR #22021 [ty] Support custom builtins

[ty] Support custom builtins #22021

MichaReiser merged 5 commits into astral-sh:main from Wizzerinus:feature/custom-builtins

Wizzerinus requested a review from

carljm 15 days ago

Wizzerinus requested a review from

AlexWaygood 15 days ago

Wizzerinus requested a review from

sharkdp 15 days ago

Wizzerinus requested a review from

dcreager 15 days ago

AlexWaygood added ty

MichaReiser approved these changes on 2025-12-17

AlexWaygood commented on 2025-12-18

carljm approved these changes on 2025-12-23

MichaReiser approved these changes on 2025-12-23

[ty] Search for custom builtins under __builtins__.pyi

9cf9ae1d

[ty] support assigning custom builtins

8ad75c77

chore: fix formatting

66ca0cd3

Resolve PR comments and add post-rebase fixes

e7f80fd7

Wizzerinus force pushed from c4344cbc to e7f80fd7 9 days ago

MichaReiser enabled auto-merge (squash) 9 days ago

chore: fix clippy

f45879c8

disabled auto-merge 9 days ago
Head branch was pushed to by a user without write access

Wizzerinus force pushed from fa1017cb to f45879c8 9 days ago

MichaReiser enabled auto-merge (squash) 9 days ago

MichaReiser merged d9fe996e into main 9 days ago

Wizzerinus deleted the feature/custom-builtins branch 9 days ago

Reviewers

MichaReiser

carljm

AlexWaygood

sharkdp

dcreager

Assignees

No one assigned

Labels

Milestone

No milestone