Skip to content

[red-knot] Specialize str.startswith for string literals#17351

Merged
sharkdp merged 1 commit intomainfrom
david/str-startswith
Apr 11, 2025
Merged

[red-knot] Specialize str.startswith for string literals#17351
sharkdp merged 1 commit intomainfrom
david/str-startswith

Commits

Commits on Apr 11, 2025