Add harmonization method for harmonizing numeric types.

1 files changed, 20 insertions, 0 deletions

diff --git a/src/dotty/tools/dotc/typer/Applications.scala b/src/dotty/tools/dotc/typer/Applications.scala
index 855f265cc..e1d3d243d 100644
--- a/src/dotty/tools/dotc/typer/Applications.scala
+++ b/src/dotty/tools/dotc/typer/Applications.scala
@@ -1024,6 +1024,26 @@ trait Applications extends Compatibility { self: Typer =>
         result
     }
   }
+
+  def harmonize(trees: List[Tree])(implicit ctx: Context): List[Tree] = {
+    def numericClasses(trees: List[Tree], acc: Set[Symbol]): Set[Symbol] = trees match {
+      case tree :: trees1 =>
+        val sym = tree.tpe.typeSymbol
+        if (sym.isNumericValueClass && tree.tpe.isRef(sym))
+          numericClasses(trees1, acc + sym)
+        else
+          Set()
+      case Nil =>
+        acc
+    }
+    val clss = numericClasses(trees, Set())
+    if (clss.size > 1) {
+      val lub = defn.ScalaNumericValueClassList.find(lubCls =>
+        clss.forall(defn.isValueSubClass(_, lubCls))).get.typeRef
+      trees.mapConserve(tree => adaptInterpolated(tree, lub, tree))
+    }
+    else trees
+  }
 }
 
 /*