Skip to content

Negated Types - #63926

Open
Wesley Wigham (weswigham) wants to merge 3 commits into
microsoft:mainfrom
weswigham:port-negated-types
Open

Negated Types#63926
Wesley Wigham (weswigham) wants to merge 3 commits into
microsoft:mainfrom
weswigham:port-negated-types

Relax comparable relation for negated types

b2c232b
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
analyze
succeeded Sep 3, 2026 in 6m 4s