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 に解決されることです。