Typescript failed to expand type in generic for unknown reason

TypeScript Version: 3.1.3

Search Terms:

Code

type Or<T> = T [
    {
        [K in keyof T]: T[K] extends ((...arg:any[])=>any)?
            never:
            K
    } [keyof T]
]

// F is unknown
type F = Or<[
    string,
    number
]>

// F_ is string|number
type F_ = ([
    string,
    number
])[
    {
        [K in keyof ([
            string,
            number
        ])]: ([
            string,
            number
        ])[K] extends ((...arg:any[])=>any)?
            never:
            K
    } [keyof ([
        string,
        number
    ])]
]

Expected behavior:
I will get the type string|number for both case

Actual behavior:
The generic failed to expand the type and make F as unknown for unknown reason,
while manully inline it in F_ typed as expected

Playground Link:
link
Related Issues:

从 issue 中链接的 TypeScript 3.1.3 Playground 示例开始，复现泛型 Or 与内联 F_ 类型之间的差异。调查 Or<[string, number]> 为什么会变成 unknown；完成的标准是泛型情况按预期解析为 string|number。