[ASDAlexander77]

Array: count and rest constructors

Beside constructor(private data: T[] = []), Array<T> gets

• constructor(count: int = 0): new Array<number>(10) has ten elements;
• constructor(...args: T[]): new Array(10, 20, 30) is those three, T inferred.

Test: tests/array_constructors_overload.ts.

Needs the compiler

• Infer a generic class from overloaded and rest constructors; test the default library under every model TypeScriptCompiler#715 (merged): a generic class inferred through
  overloaded and rest constructors.
• An optional parameter fits an overload as the type it holds TypeScriptCompiler#716 (open): an optional parameter fits an overload as
  the type it holds; without it new Array<int>(10) / new Array(10) run the rest
  constructor (length 1). The test itself uses new Array<number>(10), which passes either way.

Verification

Locally, tests.ps1 with the compiler of #716: gc, rc, none and own all pass in all four
passes (release/debug, compile/JIT).

Known gap

-mm=own: new Array<string>("a", "b") through the rest constructor fails the own checker
(find/findLast/_with); new Array<string>(["a", "b"]) works. Not exercised by the test.

🤖 Generated with Claude Code