Почему keyof от generic типа содержит symbol?

Question

[oexlkinq]

код (ошибка описана комментом в коде):

class SomeClass {
    static addr = 'https://example.com/api'

    static api = {
        testkey: {
            userkey: async (apikey: string) => {
                this.doRequest('testkey', 'userkey', {})
            }
        },
        anotherPart:{},
    }

    static async doRequest<res, part extends parts, command extends commands<part>>(apiPart: part, apiCommand: command, params: object): Promise<res> {
        // ошибка указывает на то, что apiCommand не может быть неявно преобразован в string
        // Implicit conversion of a 'symbol' to a 'string' will fail at runtime. Consider wrapping this expression in 'String(...)'.
        const url = new URL(`${this.addr}/${apiPart}/${apiCommand}`)

        const resp = await fetch(url, {
            method: 'post',
            body: JSON.stringify(params),
        })
        if (!resp.ok) {
            throw resp
        }

        const res = await resp.json()

        return res
    }
}

type SomeApi = typeof SomeClass['api']
type parts = keyof SomeApi
type commands<part extends parts> = keyof SomeApi[part]

Comments

[oexlkinq]

Aetae, простое решение как по мне изумительно. Выполняет свою задачу, при том без костылей и всё ещё достаточно понятно. Спасибо

[Aetae]

oexlkinq, но ответ именно на вопрос был неверен, и замудрён в отличие от настоящего.:)

"Решение":

type Commands<Part extends Parts> = Extract<keyof SomeApi[Part], string>

Answer 1

[Alexandroppolus]

в методе doRequest тип part может быть never (потому что never тоже "extends parts")

тогда commands< part > будет string | number | symbol, т.е. apiCommand в этом случае может быть symbol

пояснение:

commands< part > = commands< never > = keyof SomeApi[never] = keyof never

поскольку формально never - "самый узкий тип, который экстендится от всех", то в нем содержатся все возможные ключи. Вот и выходит такой keyof