Allow type narrowing for arrays using Array#forEach and assertion function

lib Update Request

Configuration Check

My compilation target is ES5 and my lib is the default.

Missing / Incorrect Definition

Array type narrowing using Array#forEach with assertion function, in a fashion similar to Array#every, has not been defined. Also applies to ReadonlyArray.

Sample Code

const foo: (number | string)[] = ['aaa'];

function assertString(x: unknown): asserts x is string {
  if (typeof x !== 'string') throw new Error('Must be a string!');
}

foo.forEach(assertString);
foo[0].slice(0); // foo should be string[] from here

Documentation Link

Based on Array#every<S extends T> from lib.es5.d.ts.

A pull request for implementing this definition has been created #52388.

Inizia in lib/lib.es5.d.ts, usando come riferimento la definizione esistente di Array#every. Controlla le dichiarazioni di forEach di Array e ReadonlyArray rispetto all'esempio di funzione di asserzione fornito. Il lavoro è completo quando l'esempio restringe il tipo dell'elemento dell'array dopo forEach senza errori e sono coperti sia gli array mutabili sia quelli di sola lettura.