Sorting an array removes type inference

TypeScript Version: 3.7.0-dev.20191011

Search Terms: type inference

Code

function getAllValuesUnsorted(m: ReadonlyArray<ReadonlyArray<string>>): ReadonlyArray<string> {
	// OK
	return Array.from(flatten(m.values()))
}

function getAllValuesSorted(m: ReadonlyArray<ReadonlyArray<string>>): ReadonlyArray<string> {
	// Type 'unknown[]' is not assignable to type 'readonly string[]'.
	return Array.from(flatten(m.values())).sort()
}

function* flatten<T>(a: Iterable<Iterable<T>>): Iterable<T> {
	for (const xs of a)
		for (const x of xs)
			yield x
}

Expected behavior:

No error.

Actual behavior:

a.ts:6:2 - error TS2322: Type 'unknown[]' is not assignable to type 'readonly string[]'.
  Type 'unknown' is not assignable to type 'string'.

Beginne mit der Typinferenz des TypeScript-Compilers und der Behandlung generischer Array-Methoden und verwende den Reproducer im Issue als ersten Testfall. Untersuche, warum das Hinzufügen von sort() das inferierte Ergebnis von string[] in unknown[] ändert, und füge dann einen Regressionstest hinzu, der den sortierten Ausdruck ohne Fehler akzeptiert.