Add `NonEmptyArray` to `lib` (but **not** `length > 0` narrowing)

⚙ Compilation target

ES2023

⚙ Library

ES2023

Missing / Incorrect Definition

type NonEmptyArray<T> = [T, ...T[]]
type ReadonlyNonEmptyArray<T> = readonly [T, ...readonly T[]]

Sample Code

const is_non_empty = <T>(a: ReadonlyArray<T>): a is ReadonlyNonEmptyArray<T> =>
	a.length > 0

function sum(a: ReadonlyNonEmptyArray<number>): number
function sum(a: ReadonlyNonEmptyArray<bigint>): bigint
function sum(a:
	ReadonlyNonEmptyArray<number> |
	ReadonlyNonEmptyArray<bigint>
) {
	//@ts-expect-error
	return a.reduce((acc, x) => acc + x)
}

Documentation Link

There's no docs that I'm aware of. However, there are multiple issues using this boilerplate. See also: #60463

Here's a WIP example implementations of sum. The sample code is a simplified version of that. More info here

Beginne damit, die ES2023-Bibliotheksdeklarationsdateien und die vorhandenen Array-Typdefinitionen zu finden; im Issue wird keine bestimmte Datei oder kein bestimmter Test genannt. Füge die veränderlichen und schreibgeschützten NonEmptyArray-Aliase hinzu, ohne eine auf der Länge basierende Typverengung einzuführen, und überprüfe anschließend das bereitgestellte Typprüfungsbeispiel sowie die relevanten Compiler-Tests.