Type guard to check whether the given object (of a subset type constructed from another with Partial and Pick and
a parameterized key type) has the given key (which is available on the main type T). In other words, reports
whether SK extends K.
Type guard to check whether the given object (of a subset type constructed from another with
Pickand a parameterized key type) has the given key (which is available on the main typeT). In other words, reports whetherSKextendsK.