PR #17094 [red-knot] Disjointness for callable types

[red-knot] Disjointness for callable types #17094

dhruvmanila merged 2 commits into main from dhruv/callable-disjoint

dhruvmanila added ty

dhruvmanila force pushed from 54d78ff5 to ce725c5e 172 days ago

dhruvmanila force pushed from ce725c5e to beb8d941 172 days ago

dhruvmanila commented on 2025-03-31

dhruvmanila marked this pull request as ready for review 171 days ago

dhruvmanila requested a review from

carljm 171 days ago

dhruvmanila requested a review from

AlexWaygood 171 days ago

dhruvmanila requested a review from

sharkdp 171 days ago

dhruvmanila requested a review from

dcreager 171 days ago

dcreager commented on 2025-04-01

AlexWaygood commented on 2025-04-01

AlexWaygood approved these changes on 2025-04-01

carljm approved these changes on 2025-04-01

dhruvmanila force pushed from ca86ec82 to ffca69f1 171 days ago

dhruvmanila force pushed from ffca69f1 to 60b3189d 171 days ago

[red-knot] Disjointness for callable types

3544413b

dhruvmanila force pushed from 60b3189d to 3544413b 171 days ago

fix pre-commit

d5ddf8d0

dhruvmanila enabled auto-merge (squash) 171 days ago

dhruvmanila merged 6be0a505 into main 171 days ago

dhruvmanila deleted the dhruv/callable-disjoint branch 171 days ago

sharkdp commented on 2025-04-01

Reviewers

carljm

AlexWaygood

sharkdp

dcreager

Assignees

No one assigned

Labels

Milestone

No milestone