在使用if检查的时候，需要注意类型缩小的条件。如果条件不符合缩小类型的要求，就无法缩小类型。以下是一个示例代码，演示类型缩小的正常情况和不正常情况：

let something: string | number = 'hello';

// 正常情况，能够缩小类型
if (typeof something === 'string') {
  console.log(something.toUpperCase());
}

// 不正常情况，无法缩小类型
if (something instanceof Object) {
  console.log(something.toString()); // 编译器会提示错误：Property 'toString' does not exist on type 'string | number'.
}

在第一个if检查中，条件是typeof something === 'string'，这个条件符合缩小类型的要求，因此在if语句块中，可以直接使用字符串的toUpperCase方法。

在第二个if检查中，条件是something instanceof Object，这个条件不符合缩小类型的要求，因为它无法判断something是一个string还是一个number。因此在if语句块中，不能直接使用toString方法，因为编译器并不知道something到底是string还是number。

要解决这个问题，我们可以手动缩小类型，比如使用类型断言来告诉编译器，something是一个string，或者是一个number：

if ((something as string).toUpperCase) {
  console.log((something as string).toUpperCase());
}

这样，编译器就能够理解，我们在if检查中，将something缩小成了一个string类型，因此可以安全地使用toUpperCase方法。