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，同时不破坏相关的缩小行为。