Promises of different types should not be compatible

**TypeScript Version:**  nightly

**Code**

``` ts
const x: Promise<string> = Promise.resolve("");
const y: Promise<number> = x;
```

**Expected behavior:**
Compiler error on line 2.

**Actual behavior:**
No error.
