Discriminant of type never
should never be matched
#50755
Merged
never
should never be matched
#50755