Add tests

Author: jablko

tests/baselines/reference/promiseType.js

@@ -217,6 +217,12 @@ const pc6 = p.then(() => Promise.reject("1"), () => {});
 const pc7 = p.then(() => Promise.reject("1"), () => {throw 1});
 const pc8 = p.then(() => Promise.reject("1"), () => Promise.resolve(1));
 const pc9 = p.then(() => Promise.reject("1"), () => Promise.reject(1));
+
+// #27711
+
+const expected: Promise<number> = new Promise<Promise<number>>(() => {});
+
+new Promise(undefined as (resolve: (value: Promise<number> | string) => void) => void);
 
 
 //// [promiseType.js]
@@ -440,3 +446,6 @@ const pc6 = p.then(() => Promise.reject("1"), () => { });
 const pc7 = p.then(() => Promise.reject("1"), () => { throw 1; });
 const pc8 = p.then(() => Promise.reject("1"), () => Promise.resolve(1));
 const pc9 = p.then(() => Promise.reject("1"), () => Promise.reject(1));
+// #27711
+const expected = new Promise(() => { });
+new Promise(undefined);

tests/baselines/reference/promiseType.symbols

@@ -1089,3 +1089,18 @@ const pc9 = p.then(() => Promise.reject("1"), () => Promise.reject(1));
 >Promise : Symbol(Promise, Decl(lib.es5.d.ts, --, --), Decl(lib.es2015.iterable.d.ts, --, --), Decl(lib.es2015.promise.d.ts, --, --), Decl(lib.es2015.symbol.wellknown.d.ts, --, --))
 >reject : Symbol(PromiseConstructor.reject, Decl(lib.es2015.promise.d.ts, --, --))
 
+// #27711
+
+const expected: Promise<number> = new Promise<Promise<number>>(() => {});
+>expected : Symbol(expected, Decl(promiseType.ts, 221, 5))
+>Promise : Symbol(Promise, Decl(lib.es5.d.ts, --, --), Decl(lib.es2015.iterable.d.ts, --, --), Decl(lib.es2015.promise.d.ts, --, --), Decl(lib.es2015.symbol.wellknown.d.ts, --, --))
+>Promise : Symbol(Promise, Decl(lib.es5.d.ts, --, --), Decl(lib.es2015.iterable.d.ts, --, --), Decl(lib.es2015.promise.d.ts, --, --), Decl(lib.es2015.symbol.wellknown.d.ts, --, --))
+>Promise : Symbol(Promise, Decl(lib.es5.d.ts, --, --), Decl(lib.es2015.iterable.d.ts, --, --), Decl(lib.es2015.promise.d.ts, --, --), Decl(lib.es2015.symbol.wellknown.d.ts, --, --))
+
+new Promise(undefined as (resolve: (value: Promise<number> | string) => void) => void);
+>Promise : Symbol(Promise, Decl(lib.es5.d.ts, --, --), Decl(lib.es2015.iterable.d.ts, --, --), Decl(lib.es2015.promise.d.ts, --, --), Decl(lib.es2015.symbol.wellknown.d.ts, --, --))
+>undefined : Symbol(undefined)
+>resolve : Symbol(resolve, Decl(promiseType.ts, 223, 26))
+>value : Symbol(value, Decl(promiseType.ts, 223, 36))
+>Promise : Symbol(Promise, Decl(lib.es5.d.ts, --, --), Decl(lib.es2015.iterable.d.ts, --, --), Decl(lib.es2015.promise.d.ts, --, --), Decl(lib.es2015.symbol.wellknown.d.ts, --, --))
+

tests/baselines/reference/promiseType.types

@@ -1583,3 +1583,19 @@ const pc9 = p.then(() => Promise.reject("1"), () => Promise.reject(1));
 >reject : <T = never>(reason?: any) => Promise<T>
 >1 : 1
 
+// #27711
+
+const expected: Promise<number> = new Promise<Promise<number>>(() => {});
+>expected : Promise<number>
+>new Promise<Promise<number>>(() => {}) : Promise<number>
+>Promise : PromiseConstructor
+>() => {} : () => void
+
+new Promise(undefined as (resolve: (value: Promise<number> | string) => void) => void);
+>new Promise(undefined as (resolve: (value: Promise<number> | string) => void) => void) : Promise<string | number>
+>Promise : PromiseConstructor
+>undefined as (resolve: (value: Promise<number> | string) => void) => void : (resolve: (value: string | Promise<number>) => void) => void
+>undefined : undefined
+>resolve : (value: string | Promise<number>) => void
+>value : string | Promise<number>
+

tests/cases/compiler/promiseType.ts

@@ -217,3 +217,9 @@ const pc6 = p.then(() => Promise.reject("1"), () => {});
 const pc7 = p.then(() => Promise.reject("1"), () => {throw 1});
 const pc8 = p.then(() => Promise.reject("1"), () => Promise.resolve(1));
 const pc9 = p.then(() => Promise.reject("1"), () => Promise.reject(1));
+
+// #27711
+
+const expected: Promise<number> = new Promise<Promise<number>>(() => {});
+
+new Promise(undefined as (resolve: (value: Promise<number> | string) => void) => void);