Skip to content

Port "make exported destructured discriminated union narrowing work"#1806

Merged
jakebailey merged 1 commit into
microsoft:mainfrom
Andarist:port/59673
Oct 3, 2025
Merged

Port "make exported destructured discriminated union narrowing work"#1806
jakebailey merged 1 commit into
microsoft:mainfrom
Andarist:port/59673

Port "make exported destructured discriminated union narrowing work"

f9729d2
Select commit
Loading
Failed to load commit list.
Microsoft GitHub Policy Service / license/cla succeeded Oct 3, 2025 in 0s

All CLA requirements met.

This check verifies that the author has agreed to a CLA with Microsoft.

View more details on Microsoft GitHub Policy Service