Creates a new type using the same keys as the given, but makes the specified keys (type param K) required and leaves the other keys unchanged.
K
Creates a new type using the same keys as the given, but makes the specified keys (type param
K) required and leaves the other keys unchanged.