1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
|
//// [promisesWithConstraints.ts]
interface Promise<T> {
then<U>(cb: (x: T) => Promise<U>): Promise<U>;
}
interface CPromise<T extends { x: any; }> {
then<U extends { x: any; }>(cb: (x: T) => Promise<U>): Promise<U>;
}
interface Foo { x; }
interface Bar { x; y; }
var a: Promise<Foo>;
var b: Promise<Bar>;
a = b; // ok
b = a; // ok
var a2: CPromise<Foo>;
var b2: CPromise<Bar>;
a2 = b2; // ok
b2 = a2; // was error
//// [promisesWithConstraints.js]
var a;
var b;
a = b; // ok
b = a; // ok
var a2;
var b2;
a2 = b2; // ok
b2 = a2; // was error
|
