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.

lib/lib.es5.d.ts から始め、既存の Array#every の定義を参照してください。提供されたアサーション関数の例に照らして、Array と ReadonlyArray の forEach 宣言を確認してください。完了の条件は、例によって forEach の後に配列要素の型がエラーなしで絞り込まれ、可変配列と readonly 配列の両方が対象になっていることです。