Add special handeling for function and array in Object.freeze

[mhegazy]

Fixes #12377

[falsandtru]

freeze<T extends (...args: any[]) => any>(f: T): T; would be better.

[ahejlsberg]

Actually, freeze<T extends Function>(f: T): T; might be even better. (@mhegazy I was mistaken about constraints not being factored into overload resolution.)

[falsandtru]

However, even this definition doesn't work with classes and generic functions. Readonly interface doesn't work well because of some limitations of the current type system. I hope TypeScript will resolve these limitations.

related #9366

[ahejlsberg]

@falsandtru I think the definition I suggested works for both classes and generic functions (but it doesn't solve the problem in #9366).

[falsandtru]

@ahejlsberg It doesn't seem to work.

interface ObjectConstructor {
    freeze<T extends Function>(f: T): T;
}
new Object.freeze(class { }); // index.ts(4,1): error TS2350: Only a void function can be called with the 'new' keyword.

[ahejlsberg]

@falsandtru You need extra parentheses:

new (Object.freeze(class {}));    // Implicit empty parameter list
new (Object.freeze(class {}))();  // Explicit parameters

[falsandtru]

Thanks, then there is no problem with this pr.

[falsandtru]

@mhegazy Can you use freeze<T extends Function>(f: T): T; instead of the following your definition?

 +    freeze<T extends (...args: any[]) => any>(f: T): T;
 +
 +    /**
 +      * Prevents the modification of existing property attributes and values, and prevents the addition of new properties.
 +      * @param o Object on which to lock the attributes.
 +      */
 +    freeze<T extends new (...args: any[]) => any>(c: T): T;
 +
 +    /**
 +      * Prevents the modification of existing property attributes and values, and prevents the addition of new properties.
 +      * @param o Object on which to lock the attributes.
 +      */
 +    freeze<T>(f: (...args: any[]) => T): (...args: any[]) => T;