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'.

Comienza con la inferencia de tipos del compilador de TypeScript y el manejo de métodos genéricos de arrays, usando el reproducer del issue como primer caso de prueba. Investiga por qué añadir sort() cambia el resultado inferido de string[] a unknown[], y después añade una prueba de regresión que acepte la expresión ordenada sin errores.