typedFunction checks arity before SAM conversion

[hrhino]

scala> trait MassiveFn { def apply(a:Int,b:Int,c:Int,d:Int,e:Int,f:Int,g:Int,h:Int,i:Int,j:Int,k:Int,l:Int,m:Int,n:Int,o:Int,p:Int,q:Int,r:Int,s:Int,t:Int,u:Int,v:Int,w:Int,x:Int,y:Int,z:Int): Int }
defined trait MassiveFn

scala> val x : MassiveFn = (a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z) => 1
<console>:12: error: implementation restricts functions to 22 parameters
       val x : MassiveFn = (a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z) => 1
                                                                                 ^

The implementation restriction should be that you can't make scala.FunctionN for N > 22, but if you have a SAM with enough parameters you should be fine.

Ditto for eta expansion:

scala> trait MassiveFn { def apply(a:Int,b:Int,c:Int,d:Int,e:Int,f:Int,g:Int,h:Int,i:Int,j:Int,k:Int,l:Int,m:Int,n:Int,o:Int,p:Int,q:Int,r:Int,s:Int,t:Int,u:Int,v:Int,w:Int,x:Int,y:Int,z:Int): Int }
defined trait MassiveFn

scala> def massiveMethod(a:Int,b:Int,c:Int,d:Int,e:Int,f:Int,g:Int,h:Int,i:Int,j:Int,k:Int,l:Int,m:Int,n:Int,o:Int,p:Int,q:Int,r:Int,s:Int,t:Int,u:Int,v:Int,w:Int,x:Int,y:Int,z:Int): Int = 1
massiveMethod: (a: Int, b: Int, c: Int, d: Int, e: Int, f: Int, g: Int, h: Int, i: Int, j: Int, k: Int, l: Int, m: Int, n: Int, o: Int, p: Int, q: Int, r: Int, s: Int, t: Int, u: Int, v: Int, w: Int, x: Int, y: Int, z: Int)Int

scala> massiveMethod _ : MassiveFn
<console>:14: error: implementation restricts functions to 22 parameters
       massiveMethod _ : MassiveFn
       ^