Don't error if binding pattern type is never in control flow analysis for destructured discriminated union#47927