Skip to content

Port "Improve unknown narrowing by negated type predicates"#1044

Merged
jakebailey merged 1 commit intomicrosoft:mainfrom
Andarist:port/improve-negated-unknown-narrowing-by-type-predicate
Jun 4, 2025
Merged

Port "Improve `unknown` narrowing by negated type predicates"#1044
jakebailey merged 1 commit intomicrosoft:mainfrom
Andarist:port/improve-negated-unknown-narrowing-by-type-predicate

Commits

Commits on Jun 4, 2025