Add Function25 on top of #1413.

Author: nicolasstucki

src/dotty/tools/dotc/core/Definitions.scala

@@ -13,8 +13,8 @@ import scala.reflect.api.{ Universe => ApiUniverse }
 
 object Definitions {
   val MaxTupleArity, MaxAbstractFunctionArity = 22
-  val MaxFunctionArity = 24
-    // Awaiting a definite solution that drops the limit altogether, 24 gives a safety
+  val MaxFunctionArity = 25
+    // Awaiting a definite solution that drops the limit altogether, 25 gives a safety
     // margin over the previous 22, so that treecopiers in miniphases are allowed to
     // temporarily create larger closures. This is needed in lambda lift where large closures
     // are first formed by treecopiers before they are split apart into parameters and

src/scala/Function25.scala

@@ -0,0 +1,21 @@
+/*                     __                                               *\
+**     ________ ___   / /  ___     Scala API                            **
+**    / __/ __// _ | / /  / _ |    (c) 2002-2013, LAMP/EPFL             **
+**  __\ \/ /__/ __ |/ /__/ __ |    http://scala-lang.org/               **
+** /____/\___/_/ |_/____/_/ | |                                         **
+**                          |/                                          **
+\*                                                                      */
+package scala
+
+
+/** A function of 25 parameters. Used as a temporary fix until arity limit is dropped.
+ *
+ */
+trait Function25[-T1, -T2, -T3, -T4, -T5, -T6, -T7, -T8, -T9, -T10, -T11, -T12, -T13, -T14, -T15, -T16, -T17, -T18, -T19, -T20, -T21, -T22, -T23, -T24, -T25, +R] extends AnyRef { self =>
+  /** Apply the body of this function to the arguments.
+   *  @return   the result of function application.
+   */
+  def apply(v1: T1, v2: T2, v3: T3, v4: T4, v5: T5, v6: T6, v7: T7, v8: T8, v9: T9, v10: T10, v11: T11, v12: T12, v13: T13, v14: T14, v15: T15, v16: T16, v17: T17, v18: T18, v19: T19, v20: T20, v21: T21, v22: T22, v23: T23, v24: T24, v25: T25): R
+
+  override def toString() = "<function25>"
+}