打字稿不尊重库

Question

tsconfig.json：

{
    "compilerOptions": {
      "target": "ES5",
      "module": "CommonJS",
      "lib": ["ES5"],
      "strict": true,
      "baseUrl": "./src",
      "outDir": "./dist"
    },
    "include": ["./src"],
    "exclude": ["node_modules"]
  }

src/index.ts：

  
console.log('Hello world');

Promise.all([]);

console.log([""].includes(""));

Promise.resolve().finally();

export function foo(): Promise<number> {
    return Promise.resolve(3.14);
  }

[""].find(() => true);

运行tsc时，我可能会遇到关于Promise，Promise.finally，Array.find或Array.includes的类型错误，因为我没有指定作为lib的一部分。但是，它实际上可以编译。为什么？