[red-knot] Add support for string annotations #14151
dhruvmanila
force pushed
from
666e12ee
to
5872fa45
1 year ago
dhruvmanila
changed the title WIP: Add support for string annotations [red-knot] Add support for string annotations 1 year ago
dhruvmanila
force pushed
from
57116968
to
f1fb77ce
1 year ago
dhruvmanila
force pushed
from
f1fb77ce
to
f3ee6664
1 year ago
dhruvmanila
marked this pull request as ready for review 1 year ago
carljm
commented
on 2024-11-13
carljm
approved these changes
on 2024-11-14
red_knot: first attempt at string annotation
bde8e02b
Infer string annotations in the same definition query
7565c5c1
Add tests for string annotations
1be577c5
Address review feedback
16f9c09c
dhruvmanila
force pushed
from
39d0884f
to
2d265680
1 year ago
Update from rebase
d07579c8
dhruvmanila
force pushed
from
2d265680
to
d07579c8
1 year ago
dhruvmanila
deleted the dhruv/string-annotation branch 1 year ago
Assignees
No one assigned
Login to write a write a comment.
Login via GitHub