Fix issue microsoft#22923

Author: akhomchenko

src/compiler/checker.ts

@@ -16409,6 +16409,9 @@ namespace ts {
             if (suggestion !== undefined) {
                 errorInfo = chainDiagnosticMessages(errorInfo, Diagnostics.Property_0_does_not_exist_on_type_1_Did_you_mean_2, declarationNameToString(propNode), typeToString(containingType), suggestion);
             }
+            else if (isPromiseLike(containingType)) {
+                errorInfo = chainDiagnosticMessages(errorInfo, Diagnostics.Property_0_does_not_exist_on_type_1_Did_you_forget_to_await_the_1, declarationNameToString(propNode), typeToString(containingType));
+            }
             else {
                 errorInfo = chainDiagnosticMessages(errorInfo, Diagnostics.Property_0_does_not_exist_on_type_1, declarationNameToString(propNode), typeToString(containingType));
             }
@@ -16420,6 +16423,11 @@ namespace ts {
             return suggestion && symbolName(suggestion);
         }
 
+        function isPromiseLike(type: Type, reportErrors = false): boolean {
+            const types: Type[] = (type.flags & TypeFlags.Union) ? (type as UnionType).types : [type];
+            return types.some(t => isReferenceToType(t, getGlobalPromiseType(reportErrors)));
+        }
+
         function getSuggestionForNonexistentSymbol(location: Node, outerName: __String, meaning: SymbolFlags): string {
             Debug.assert(outerName !== undefined, "outername should always be defined");
             const result = resolveNameHelper(location, outerName, meaning, /*nameNotFoundMessage*/ undefined, outerName, /*isUse*/ false, /*excludeGlobals*/ false, (symbols, name, meaning) => {

src/compiler/diagnosticMessages.json

@@ -2000,7 +2000,10 @@
         "category": "Error",
         "code": 2569
     },
-
+    "Property '{0}' does not exist on type '{1}'. Did you forget to await the '{1}'?": {
+        "category": "Error",
+        "code": 2570
+    },
     "JSX element attributes type '{0}' may not be a union type.": {
         "category": "Error",
         "code": 2600

tests/baselines/reference/missingPropertyOfPromise.errors.txt

@@ -0,0 +1,10 @@
+tests/cases/compiler/missingPropertyOfPromise.ts(2,7): error TS2570: Property 'toLowerCase' does not exist on type 'Promise<string>'. Did you forget to await the 'Promise<string>'?
+
+
+==== tests/cases/compiler/missingPropertyOfPromise.ts (1 errors) ====
+    function f(x: Promise<string>) {
+        x.toLowerCase();
+          ~~~~~~~~~~~
+!!! error TS2570: Property 'toLowerCase' does not exist on type 'Promise<string>'. Did you forget to await the 'Promise<string>'?
+    }
+    

tests/baselines/reference/missingPropertyOfPromise.js

@@ -0,0 +1,10 @@
+//// [missingPropertyOfPromise.ts]
+function f(x: Promise<string>) {
+    x.toLowerCase();
+}
+
+
+//// [missingPropertyOfPromise.js]
+function f(x) {
+    x.toLowerCase();
+}

tests/baselines/reference/missingPropertyOfPromise.symbols

@@ -0,0 +1,10 @@
+=== tests/cases/compiler/missingPropertyOfPromise.ts ===
+function f(x: Promise<string>) {
+>f : Symbol(f, Decl(missingPropertyOfPromise.ts, 0, 0))
+>x : Symbol(x, Decl(missingPropertyOfPromise.ts, 0, 11))
+>Promise : Symbol(Promise, Decl(lib.d.ts, --, --))
+
+    x.toLowerCase();
+>x : Symbol(x, Decl(missingPropertyOfPromise.ts, 0, 11))
+}
+

tests/baselines/reference/missingPropertyOfPromise.types

@@ -0,0 +1,13 @@
+=== tests/cases/compiler/missingPropertyOfPromise.ts ===
+function f(x: Promise<string>) {
+>f : (x: Promise<string>) => void
+>x : Promise<string>
+>Promise : Promise<T>
+
+    x.toLowerCase();
+>x.toLowerCase() : any
+>x.toLowerCase : any
+>x : Promise<string>
+>toLowerCase : any
+}
+

tests/baselines/reference/missingPropertyOfPromiseUnion.errors.txt

@@ -0,0 +1,16 @@
+tests/cases/compiler/missingPropertyOfPromiseUnion.ts(6,7): error TS2570: Property 'toLowerCase' does not exist on type 'Foo | Promise<Foo>'. Did you forget to await the 'Foo | Promise<Foo>'?
+  Property 'toLowerCase' does not exist on type 'Foo'.
+
+
+==== tests/cases/compiler/missingPropertyOfPromiseUnion.ts (1 errors) ====
+    interface Foo {
+        method();
+    }
+    
+    function f(x: Promise<Foo> | Foo) {
+        x.toLowerCase();
+          ~~~~~~~~~~~
+!!! error TS2570: Property 'toLowerCase' does not exist on type 'Foo | Promise<Foo>'. Did you forget to await the 'Foo | Promise<Foo>'?
+!!! error TS2570:   Property 'toLowerCase' does not exist on type 'Foo'.
+    }
+    

tests/baselines/reference/missingPropertyOfPromiseUnion.js

@@ -0,0 +1,14 @@
+//// [missingPropertyOfPromiseUnion.ts]
+interface Foo {
+    method();
+}
+
+function f(x: Promise<Foo> | Foo) {
+    x.toLowerCase();
+}
+
+
+//// [missingPropertyOfPromiseUnion.js]
+function f(x) {
+    x.toLowerCase();
+}

tests/baselines/reference/missingPropertyOfPromiseUnion.symbols

@@ -0,0 +1,19 @@
+=== tests/cases/compiler/missingPropertyOfPromiseUnion.ts ===
+interface Foo {
+>Foo : Symbol(Foo, Decl(missingPropertyOfPromiseUnion.ts, 0, 0))
+
+    method();
+>method : Symbol(Foo.method, Decl(missingPropertyOfPromiseUnion.ts, 0, 15))
+}
+
+function f(x: Promise<Foo> | Foo) {
+>f : Symbol(f, Decl(missingPropertyOfPromiseUnion.ts, 2, 1))
+>x : Symbol(x, Decl(missingPropertyOfPromiseUnion.ts, 4, 11))
+>Promise : Symbol(Promise, Decl(lib.d.ts, --, --))
+>Foo : Symbol(Foo, Decl(missingPropertyOfPromiseUnion.ts, 0, 0))
+>Foo : Symbol(Foo, Decl(missingPropertyOfPromiseUnion.ts, 0, 0))
+
+    x.toLowerCase();
+>x : Symbol(x, Decl(missingPropertyOfPromiseUnion.ts, 4, 11))
+}
+

tests/baselines/reference/missingPropertyOfPromiseUnion.types

@@ -0,0 +1,22 @@
+=== tests/cases/compiler/missingPropertyOfPromiseUnion.ts ===
+interface Foo {
+>Foo : Foo
+
+    method();
+>method : () => any
+}
+
+function f(x: Promise<Foo> | Foo) {
+>f : (x: Foo | Promise<Foo>) => void
+>x : Foo | Promise<Foo>
+>Promise : Promise<T>
+>Foo : Foo
+>Foo : Foo
+
+    x.toLowerCase();
+>x.toLowerCase() : any
+>x.toLowerCase : any
+>x : Foo | Promise<Foo>
+>toLowerCase : any
+}
+

tests/cases/compiler/missingPropertyOfPromise.ts

@@ -0,0 +1,3 @@
+function f(x: Promise<string>) {
+    x.toLowerCase();
+}

tests/cases/compiler/missingPropertyOfPromiseUnion.ts

@@ -0,0 +1,7 @@
+interface Foo {
+    method();
+}
+
+function f(x: Promise<Foo> | Foo) {
+    x.toLowerCase();
+}