Property 'contains' does not exist on type 'never'

遇到 "Property 'contains' does not exist on type 'never'" 的错误通常意味着你在某个类型推断不明确的情况下尝试访问了一个不存在的方法或属性。"Never" 是 TypeScript 中的一个特殊类型，它表示永远不会发生的值，比如函数可能抛出未定义异常时的结果。

1. **类型转换法**: 使用强制类型转换来忽略这个类型的限制[^1]。例如：

   let windowWithContains: Window | {} = window; // 假设我们不确定window是否有contains属性
   if ("contains" in windowWithContains) {
     (windowWithContains as Window).contains('someValue'); // 如果存在就安全地调用
   }

2. **接口扩展法**: 如果你知道该对象应该具有 `contains` 属性，可以为已知有此属性的对象类型添加接口：

   interface ExtendableWindow extends Window {
     contains(value: string): boolean;
   }

   let extendableWindow: ExtendableWindow = window;
   extendableWindow.contains('someValue');

3. **使用空类型和类型并联**: 当函数无返回值时，可以声明为 `void` 类型。但直接与 `never` 结合可能不会解决这个问题，因为它们代表完全不同的概念。然而，在某些上下文中，如函数参数类型或函数内部，你可以用 `unknown` 或 `any` 替代 `never` 来暂时避免错误：

   function maybeHasContains(value: unknown): value is ExtendableWindow {
     return 'contains' in value;
   }

   if (maybeHasContains(window)) {
     (window as ExtendableWindow).contains('someValue');
   }