ruff
[red-knot] Add support for string annotations
#14151

Merged

[red-knot] Add support for string annotations #14151

dhruvmanila merged 5 commits into main from dhruv/string-annotation

dhruvmanila added ty

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 commented on 2024-11-13

dhruvmanila marked this pull request as ready for review 1 year ago

dhruvmanila requested a review from

carljm 1 year ago

dhruvmanila requested a review from

MichaReiser 1 year ago

dhruvmanila requested a review from

AlexWaygood 1 year ago

dhruvmanila requested a review from

sharkdp 1 year ago

MichaReiser commented on 2024-11-13

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 enabled auto-merge (squash) 1 year ago

dhruvmanila merged 9ec690b8 into main 1 year ago

dhruvmanila deleted the dhruv/string-annotation branch 1 year ago

Reviewers

carljm

MichaReiser

AlexWaygood

sharkdp

Assignees

No one assigned

Labels

Milestone

No milestone