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.

interfaceObjectConstructor{freeze<TextendsFunction>(f: T): T;}newObject.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 listnew(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;