Type Alias RequiredKeysOf<BaseType>

RequiredKeysOf: keyof {
    [Key in keyof BaseType as BaseType extends Record<Key, BaseType[Key]>
        ? Key
        : never]: never
} & keyof BaseType

Modified version of RequiredKeys from type-fest that does not require BaseType to extends object.