Skip to content

Shaped annotations that other type checkers can read [rfc] (#5027) - #5027

Draft
stroxler wants to merge 1 commit into
mainfrom
export-D122076108
Draft

stroxler wants to merge 1 commit into
mainfrom
export-D122076108

Commits

Commits on Sep 28, 2026