我想创建一个行为与in操作符完全相同的函数，其中使用用户定义的类型保护来缩小类型。
(For一个例子，参见Lodash的has函数。）
对于x表达式中的n，其中n是字符串文字或字符串文字类型，x是联合类型，“true”分支缩小到具有可选或必需属性n的类型，“false”分支缩小到具有可选或缺少属性n的类型。
https://www.typescriptlang.org/docs/handbook/advanced-types.html#using-the-in-operator
我写了一些测试，展示了in操作符的行为以及has函数的预期行为。如何定义一个函数（has），使其行为与这些测试中的in操作符完全相同？

declare const any: any;
type Record = { foo: string; fooOptional?: string };
type Union = { foo: string; fooOptional?: string } | { bar: number; barOptional?: string };
{
  const record: Record = any;
  if ('foo' in record) {
    record; // $ExpectType Record
  } else {
    record; // $ExpectType never
  }
  if (has(record, 'foo')) {
    record; // $ExpectType Record
  } else {
    record; // $ExpectType never
  }
}
{
  const union: Union = any;
  if ('foo' in union) {
    union; // $ExpectType { foo: string; fooOptional?: string | undefined; }
  } else {
    union; // $ExpectType { bar: number; barOptional?: string | undefined; }
  }
  if (has(union, 'foo')) {
    union; // $ExpectType { foo: string; fooOptional?: string | undefined; }
  } else {
    union; // $ExpectType { bar: number; barOptional?: string | undefined; }
  }
}
{
  const unionWithOptional: { foo: string } | { bar?: number } = any;
  if ('bar' in unionWithOptional) {
    unionWithOptional; // $ExpectType { bar?: number | undefined; }
  } else {
    unionWithOptional; // $ExpectType { foo: string; } | { bar?: number | undefined; }
  }
  if (has(unionWithOptional, 'bar')) {
    unionWithOptional; // $ExpectType { bar?: number | undefined; }
  } else {
    unionWithOptional; // $ExpectType { foo: string; } | { bar?: number | undefined; }
  }
}

我最接近解决这个问题的方法是：

type Discriminate<U, K extends PropertyKey> = U extends any
  ? K extends keyof U
    ? U
    : U & Record<K, unknown>
  : never;
export const has = <T extends object, K extends PropertyKey>(
  source: T,
  property: K,
): source is Discriminate<T, K> =>
  property in source;

然而，最后的测试没有通过。
对于上下文，我想这样做的原因是，我的自定义has函数可以在编译时验证键（这是in操作符没有做的事情）。我可以理解这一部分我正在努力的部分只是模仿in执行的收缩。