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:

Bắt đầu với ví dụ TypeScript 3.1.3 Playground được liên kết trong issue và tái hiện sự khác biệt giữa Or generic và kiểu F_ inline. Điều tra tại sao Or<[string, number]> trở thành unknown; được xem là hoàn tất khi trường hợp generic được phân giải thành string|number như mong đợi.