Port "make exported destructured discriminated union narrowing work"#1806
Merged
jakebailey merged 1 commit intomicrosoft:mainfrom Oct 3, 2025
Merged
Port "make exported destructured discriminated union narrowing work"#1806jakebailey merged 1 commit intomicrosoft:mainfrom
jakebailey merged 1 commit intomicrosoft:mainfrom
