Что значит [number] в ts?

Question

[webe]

type Includes<A extends readonly any[], S extends string> = S extends A[number] ? true : never ;

Случайно нашел вот такой код, где можно почитать про A[number]?
Я так понимаю, эта конструкция используется только с extends когда мы анализируем массивы?
Грубо говоря, она означает что-то типа S должен быть подтипом для каждого элемента массива A.

Comments

[WbICHA]

type A1 = ('a' | 'b' | 'c')[]
type A2 = [1, 2, 3]

type T1 = A1[number] // → 'a' | 'b' | 'c'
type T2 = A2[number] // → 1 | 2 | 3

[webe]

WbICHA, ого, понял) спасибо

[webe]

WbICHA, Это получается прокатывате только с кортежами? readonly массивами.

const arr = [1,2,3];
type A = typeof arr
type B = A[number] //number

[Станислав Макаров]

webe прокатывает для всего, что индексируется

interface Collection {
  [i: number]: string
}

type ValueInCollection = Collection[number]; // string

Answer 1

[Mikhail Osher]

A = массив-like
S = строка-like

S extends A[number] = является ли тип S производным типом от того типа, который мы бы получили, если бы обратились к A по числовому индексу, то есть number. Будь там A[string], то тогда было бы обращение к строковому ключу типа A.