Issue Description:

Enter the following program:

import Foundation

print ("import Foundation")

print ("type alias bigFunc = (")

for i in 0 ..< 65537 {

if i == 65537 - 1 {

    print ("UInt8) -\> ()")

} else {

    print ("UInt8, ", terminator: "")

}

if (i % 32 == 0 && i != 0) {

    print()

}

}

print ("let t = bigFunc.self")

print ("print (t)")

Collect the output and use it as input to the swift compiler (LimitCheck | pbcopy).

The compiler will compile this (good on you!), but the output is:

(Int8)->()

Instead of the expected 65536 parameters.

This is because the function type metadata in swift has a limit of 65535 parameters.

The compiler should flag this as an error.

I'm fairly certain you will get a similar error if you use a tuple type instead of a function type.