Skip to content

WIP: Negated Types#4200

Draft
weswigham wants to merge 1 commit into
microsoft:mainfrom
weswigham:port-negated-types
Draft

WIP: Negated Types#4200
weswigham wants to merge 1 commit into
microsoft:mainfrom
weswigham:port-negated-types

Port negated types from strada

71599ab
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
CodeQL-Build
succeeded Jun 4, 2026 in 4m 2s