Refactoring

Author: OlivierBlanvillain

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

@@ -1993,7 +1993,7 @@ class TypeComparer(initctx: Context) extends ConstraintHandling[AbsentContext] {
               covariantIntersecting(arg1, arg2, tparam) && (isSameType(arg1, arg2) || {
                 // We can only trust a "no" from `isSameType` when both
                 // `arg1` and `arg2` are fully instantiated.
-                val fullyInstantiated = new TypeAccumulator[Boolean] {
+                def fullyInstantiated(tp: Type): Boolean = new TypeAccumulator[Boolean] {
                   override def apply(x: Boolean, t: Type) =
                     x && {
                       t match {
@@ -2002,9 +2002,8 @@ class TypeComparer(initctx: Context) extends ConstraintHandling[AbsentContext] {
                         case _ => foldOver(x, t)
                       }
                     }
-                }
-                !(fullyInstantiated.apply(true, arg1) &&
-                  fullyInstantiated.apply(true, arg2))
+                }.apply(true, tp)
+                !(fullyInstantiated(arg1) && fullyInstantiated(arg2))
               })
         }
       case (tp1: HKLambda, tp2: HKLambda) =>

library/src-bootstrapped/scala/compiletime/package.scala

@@ -11,4 +11,4 @@ package object compiletime {
   inline def constValue[T]: T = ???
 
   type S[X <: Int] <: Int
-}
+}

tests/run/tuples1.scala

@@ -94,4 +94,4 @@ object Test extends App {
   val us0: 0 = size(())
   val x3s1: 3 = size0(x3)
   val us1: 0 = size0(())
-}
+}