Contextual union type conformance test cases and Fix for contextual union signature