Flow analysis doesn't work with es6 collections 'has' method

TypeScript Version: 2.1.1

Code

const x = new Map<string, string>();
x.set("key", "value");
if (x.has("key")) {
  const y : string = x.get("key");  // error: y is string | undefined, not string
}

Expected behavior:
y is narrowed down to string
Actual behavior:
y is still string | undefined even after checking if the map has that key

首先重現提供的、使用 Map.has 和 Map.get 的 TypeScript 2.1.1 範例，然後追蹤編譯器針對 ES6 集合方法的控制流程分析。完成的標準是：get 回傳的值在 has 檢查內部被縮小為 string，同時不破壞相關的縮小行為。