Skip to content

[red-knot] No errors for definitions of TypedDicts#17674

Merged
sharkdp merged 4 commits intomainfrom
david/typed-dict-todo
Apr 28, 2025
Merged

[red-knot] No errors for definitions of `TypedDict`s#17674
sharkdp merged 4 commits intomainfrom
david/typed-dict-todo

Commits

Commits on Apr 28, 2025