Skip to content

Infer non-narrowing predicates when the contextual signature is a type predicate#60834

Open
Andarist wants to merge 3 commits intomicrosoft:mainfrom Andarist:infer-type-predicates-based-on-context
+579-30

Commits