Type Alias KnownKeys<T>

KnownKeys: T extends PrimitiveTypes
    ? never
    : {
        [K in keyof T]: string extends K ? never : number extends K ? never : K
    } extends { [_ in keyof T]: infer U }
        ? {} extends U ? never : U
        : never