Type Alias Exact<T, U>

Exact: 0 extends 1 & U
? U
: U extends T ? Exclude<keyof U, keyof T> extends never ? U : never : never

Ensures that type U contains exactly the properties of type T, no more, no less. Extra properties will cause a type error.