Use comparability for discriminant properties when narrowing types for a default switch clause

Use comparability for discriminant properties when narrowing types for a default switch clause #30019