Add compile perfomance test for Scala2 twiddle subtyping

typelevel · Jan 9, 2024 · d6a7c97 · d6a7c97
1 parent e30ba96
commit d6a7c97
Showing 1 changed file with 30 additions and 0 deletions.
diff --git a/core/jvm/src/test/scala-2/org/typelevel/twiddles/test/CompilationPerformanceSpec.scala b/core/jvm/src/test/scala-2/org/typelevel/twiddles/test/CompilationPerformanceSpec.scala
@@ -61,6 +61,36 @@ class CompilationPerformanceSpec extends FunSuite {
     assert(compiled.isInstanceOf[Tuple])
   }
 
+  test("should subtype in a reasonable amount of time") {
+    val compiled = compileWithin(
+      q"""import org.typelevel.twiddles._
+          val inferred =
+            1 *: 1 *: 1 *: 1 *: 1 *: 1 *: 1 *: 1 *:
+            1 *: 1 *: 1 *: 1 *: 1 *: 1 *: 1 *: 1 *:
+            1 *: 1 *: 1 *: 1 *: 1 *: 1 *: 1 *: 1 *:
+            1 *: 1 *: 1 *: 1 *: 1 *: 1 *: 1 *: 1 *:
+            1 *: 1 *: 1 *: 1 *: 1 *: 1 *: 1 *: 1 *:
+            1 *: 1 *: 1 *: 1 *: 1 *: 1 *: 1 *: 1 *:
+            1 *: 1 *: 1 *: 1 *: 1 *: 1 *: 1 *: 1 *:
+            1 *: 1 *: 1 *: 1 *: 1 *: 1 *: 1 *: 1 *:
+              EmptyTuple
+          type Expected = 
+            Int *: Int *: Int *: Int *: Int *: Int *: Int *: Int *:
+            Int *: Int *: Int *: Int *: Int *: Int *: Int *: Int *:
+            Int *: Int *: Int *: Int *: Int *: Int *: Int *: Int *:
+            Int *: Int *: Int *: Int *: Int *: Int *: Int *: Int *:
+            Int *: Int *: Int *: Int *: Int *: Int *: Int *: Int *:
+            Int *: Int *: Int *: Int *: Int *: Int *: Int *: Int *:
+            Int *: Int *: Int *: Int *: Int *: Int *: Int *: Int *:
+            Int *: Int *: Int *: Int *: Int *: Int *: Int *: Int *:
+              EmptyTuple
+          inferred: Expected""",
+      10.seconds
+    )
+
+    assert(compiled.isInstanceOf[Tuple])
+  }
+
   private val toolbox = {
     val toolbox = currentMirror.mkToolBox()
     // warmup