A 'default' label dominates a case label with a case pattern, and it also dominates a case label with a 'null' case constant. IDEA-309549 GitOrigin-RevId: 6877992c530e41a1200ea7c20d6405da4be0324b