Почему сопоставление массива не работает с той же записью сопоставления рекламы?

Есть ли причина, по которой отображение массива не работает так же, как отображение записи? Массив сам по себе является итерируемым объектом, как и Record<number, ...>, верно?

В этом коде вы можете наблюдать желаемое поведение ParamRecordRecord. Это дает мне таблицу данных с методами, у которых параметр автоматически выводится на основе контекста данных.

Еще мне нужна версия в виде записи для массивов. Таким образом, ParamRecordArray является точной копией ParamRecordRecord, за исключением того, что вместо ключей, перечисленных в enum BBB, ключи являются индексами массива. Однако по какой-то причине я не могу воспроизвести то же поведение, что и в таблице выше. Все параметры в компонентах методов являются числами.

пометка красного цвета🔴, где возникла проблема

enum AAA { a1 = 'a1', a2 = 'a2', a3 = 'a3' }
enum BBB { b1 = 'b1', b2 = 'b2', b3 = 'b3' }

// the data structure
type TestData<T extends number = number> = {
    _: string;
    components?: T[];
    check: (c: T) => void;
}

// version record of record

type ParamRecordRecord<T> = {
    [KA in keyof T & AAA]: {
        [KB in keyof T[KA] & BBB]?: TestData<Extract<T[KA][KB], number> extends never ? number : Extract<T[KA][KB], number>>
    }
}

new class TestRecorRecord<T> {
    constructor(data: ParamRecordRecord<T>) { }
}(
    {
        [AAA.a1]: {
            [BBB.b1]: {
                _: '',
                check: (c) => { } //🟢number
                //     ^?
            },
        },
        [AAA.a2]: {
            [BBB.b2]: {
                _: '',
                components: [1],
                check: (c) => { }//🟢1
                //     ^?
            },
            [BBB.b1]: {
                _: '',
                components: [2],
                check: (c) => { }//🟢2
                //     ^?
            },
        },
    }
)



// version record of array

//This is a copy of ParamRecordRecord, except that the iteration is done over the index of the object array.
//The index keys are numbers or `${number}`, rather than strings coming from the BBB enumerator.
type ParamRecordArray<T> = {
    [KA in keyof T & AAA]: {
        [KB in keyof T[KA] & `${number}`]?: TestData<Extract<T[KA][KB], number> extends never ? number : Extract<T[KA][KB], number>>
    }
}

new class TestRecorArray<T> {
    constructor(data: ParamRecordArray<T>) { }
}(
    {
        [AAA.a1]: [
            {
                _: '',
                check: (c) => { }//🟢number
                //     ^?
            },
        ],
        [AAA.a2]: [
            {
                _: '',
                components: [1],
                check: (c) => { }//🔴1
                //     ^?
            },
            {
                _: '',
                components: [2],
                check: (c) => { }//🔴2
                //     ^?
            },
        ],
    }
)


//ok not work so let try debug ?
type debug = ParamRecordArray<{ [AAA.a1]: [ TestData<1>, TestData<2> ] }>
//   ^?
// ya it seem not able to extract the generic , but am not understand why !?

детская площадка

Заранее благодарю за разъяснения и решение, если это возможно.

ПРИМЕЧАНИЕ. Я не хочу использовать as const или function<const T>():T везде для каждой записи только для версий массива. const T в классе может быть решение, но, похоже, оно не работает!

Я также мог бы использовать одну обертку, но тип const T, похоже, в этом случае не обрабатывает вложенные Record<string, TestData[]>.