Type Alias Exactify<O>

Exactify<O>: {
    [P in keyof O as string extends P
        ? never
        : number extends P
            ? never
            : symbol extends P
                ? never
                : P]: O[P]
}

Strips unspecified properties like [x: string]: unknown from Record types.