Improved `NumberConstructor` for literal types

⚙ Compilation target

esnext

⚙ Library

esnext

Missing / Incorrect Definition

NumberConstructor(value?: any): number:
https://github.com/microsoft/TypeScript/blob/261630d650c0c961860187bebc86e25c3707c05d/src/lib/es5.d.ts#L570-L572

This is correct but I think could be improved to work better when converting string literals to numbers by returning number literals. This could be achieved by doing something like

<T>(value?: T): T extends `${infer N extends number}` ? N : number;

See this playground link

Sample Code

const A = "12";
const B: 12 = Number(A);  // Type 'number' is not assignable to type '12'.

const A2: "12" | "13" | "14" = "12";
const B2: 12 | 13 | 14 = Number(A2);  // Type 'number' is not assignable to type '12 | 13 | 14'.

Documentation Link

https://developer.mozilla.org/en-US/docs/Web/JavaScript/Reference/Global_Objects/Number/Number

Bắt đầu với khai báo NumberConstructor trong src/lib/es5.d.ts tại các dòng được liên kết, sau đó tái hiện các mẫu được cung cấp và hành vi của playground. Xem tài liệu Number trên MDN để so sánh việc chuyển đổi khi chạy với kết quả literal-type được đề xuất. Được xem là hoàn tất khi khai báo xử lý các ví dụ literal và union đã nêu mà không thu hẹp sai các giá trị tổng quát.