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