ruff
[red-knot] Understand `typing.Callable`
#16493
Merged

[red-knot] Understand `typing.Callable` #16493

dhruvmanila merged 17 commits into main from dhruv/callable-type
dhruvmanila
dhruvmanila dhruvmanila added ty
dhruvmanila dhruvmanila force pushed from e71d87be to dbae500c 283 days ago
dhruvmanila [red-knot] Understand `typing.Callable`
05a7a5ba
dhruvmanila dhruvmanila force pushed from dbae500c to 05a7a5ba 283 days ago
github-actions
dhruvmanila fix pre-commit
12c8d2e9
dhruvmanila Move invalid syntax test case
dec9d495
dhruvmanila Avoid `todo!()` macro which panics
ff7d3cee
dhruvmanila remove unused method
0ae7e877
dhruvmanila
dhruvmanila commented on 2025-03-05
dhruvmanila dhruvmanila marked this pull request as ready for review 282 days ago
dhruvmanila dhruvmanila requested a review from carljm carljm 282 days ago
dhruvmanila dhruvmanila requested a review from MichaReiser MichaReiser 282 days ago
dhruvmanila dhruvmanila requested a review from AlexWaygood AlexWaygood 282 days ago
dhruvmanila dhruvmanila requested a review from sharkdp sharkdp 282 days ago
carljm
carljm commented on 2025-03-05
MichaReiser
MichaReiser approved these changes on 2025-03-06
dhruvmanila Address review feedback
89a33fbc
dhruvmanila Impl union element ordering
2b9ee87b
dhruvmanila continue addressing feedback
1d9a6b15
dhruvmanila Avoid invalid type form error for literals
44aec36e
dhruvmanila fix pre-commit
a23220fc
dhruvmanila update docs
926fa8e5
dhruvmanila
dhruvmanila Use `(...) -> Unknown` consistently
e8c93271
dhruvmanila dhruvmanila requested a review from carljm carljm 281 days ago
dhruvmanila simplify error message
50cb8c8c
dhruvmanila Implement `is_singleton`, `is_single_valued`
871bddb4
carljm
carljm approved these changes on 2025-03-07
dhruvmanila Address review feedback
5be89b1b
dhruvmanila Merge branch 'main' into dhruv/callable-type
94feae36
dhruvmanila dhruvmanila enabled auto-merge (squash) 280 days ago
dhruvmanila fix clippy
47a4a4a9
dhruvmanila dhruvmanila merged 03610218 into main 280 days ago
dhruvmanila dhruvmanila deleted the dhruv/callable-type branch 280 days ago
AlexWaygood
AlexWaygood commented on 2025-03-10

Login to write a write a comment.

Login via GitHub

Assignees
No one assigned
Labels
Milestone