Make compile-time operations on stable arguments stable

Author: mbovel

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

@@ -175,6 +175,7 @@ object Types {
         // see: tests/explicit-nulls/pos/flow-stable.scala.disabled
         tp.tp1.isStable && (realizability(tp.tp2) eq Realizable) ||
         tp.tp2.isStable && (realizability(tp.tp1) eq Realizable)
+      case AppliedType(tycon: TypeRef, args) if defn.isCompiletimeAppliedType(tycon.symbol) && args.forall(_.isStable) => true
       case _ => false
     }
 

tests/neg/singleton-ops-int.scala

@@ -116,4 +116,24 @@ object Test {
 
   val t83: ToDouble[1] = 1.0
   val t84: ToDouble[2] = 2 // error
+
+  // Singletons are dereferenced
+  val t85: Int = 5
+  val t86: t85.type = t85
+  summon[t85.type + t85.type =:= t86.type + t86.type]
+
+  // Singletons are dereferenced recursively
+  val t87: t86.type = t87
+  summon[t85.type + t85.type =:= t87.type + t87.type]
+
+  // Skolems of compile-time types are dereferenced:
+  // (?1 : (Test.x : Int) * (Test.x : Int)) --> (Test.x : Int) * (Test.x : Int)
+  def mult(x: Int, y: Int): x.type * y.type = (x * y).asInstanceOf
+  val t88: t85.type * t85.type * t85.type = mult(mult(t85, t85), t85)
+
+  // Compile-time operations with singleton arguments are singletons
+  summon[t85.type + t86.type <:< Singleton]
+
+  // Compile-time operations with non-singleton arguments are not singletons  
+  summon[t85.type + Int <:< Singleton] // error
 }