Fix Singleton handling of compile-time operations

dwijnand · Oct 13, 2023 · 75e7c41 · 75e7c41
1 parent 630c6dc
commit 75e7c41
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/compiler/src/dotty/tools/dotc/core/TypeComparer.scala b/compiler/src/dotty/tools/dotc/core/TypeComparer.scala
@@ -1504,7 +1504,8 @@ class TypeComparer(@constructorOnly initctx: Context) extends ConstraintHandling
         if (fromBelow) recur(other, folded) else recur(folded, other)
       } || other.match {
         case other: TypeRef if !fromBelow && other.symbol == defn.SingletonClass =>
-          true // Even if not declared, the result of a compiletime operator is a constant type
+          tp.args.forall(arg => isSubType(arg, defn.SingletonType))
+          // Compile-time operations with singleton arguments are singletons
         case _ => false
       }
     }