Split O into a [[Union]] with K keys in such a way that none of the keys are ever present with one another within the different unions.
O
K
to split
to split with
(?=1) to force excess property checks https://github.com/microsoft/TypeScript/issues/20863
1
Object [[Union]]
Split
O
into a [[Union]] withK
keys in such a way that none of the keys are ever present with one another within the different unions.