Preserve hard unions in widenSingletons

Author: mbovel

compiler/src/dotty/tools/dotc/core/Types.scala

@@ -3630,7 +3630,7 @@ object Types extends TypeUtils {
       myAtoms
 
     override def widenSingletons(skipSoftUnions: Boolean)(using Context): Type =
-      if isSoft && skipSoftUnions then this
+      if !isSoft || skipSoftUnions then this
       else
         if widenedRunId != ctx.runId then
           myWidened = computeWidenSingletons()

tests/pos/22219.scala

@@ -0,0 +1,5 @@
+type MonthNumber = 1 | 2
+
+def main =
+  val x = 1: MonthNumber
+  val y: MonthNumber = x

tests/pos/22219b.scala

@@ -0,0 +1,20 @@
+type MonthNumber =
+  1 | 2 | 3 | 4 | 5 | 6 | 7 | 8 | 9 | 10 | 11 | 12
+
+def main =
+  List[(String, MonthNumber)](
+      "January" -> 1,
+      "February" -> 2,
+      "March" -> 3,
+      "April" -> 4,
+      "May" -> 5,
+      "June"-> 6,
+      "July" -> 7,
+      "August" -> 8,
+      "September" -> 9,
+      "October" -> 10,
+      "November" -> 11,
+      "December" -> 12
+    ).foreach { (name, number) =>
+      summon[number.type <:< MonthNumber]
+    }