Do not consider import.defer in import.defer(...) as an expression

Author: nicolo-ribaudo

src/compiler/checker.ts

@@ -38022,7 +38022,7 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
 
         if (node.keywordToken === SyntaxKind.ImportKeyword) {
             if (node.name.escapedText === "defer") {
-                // 'checkGrammarMetaProperty' already reported the error for the standalone import.defer.
+                Debug.assert(!isCallExpression(node.parent) || node.parent.expression !== node, "Trying to get the type of `import.defer` in `import.defer(...)`");
                 return errorType;
             } else {
                 return checkImportMetaProperty(node);
@@ -41464,7 +41464,7 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
         }
         // Optimize for the common case of a call to a function with a single non-generic call
         // signature where we can just fetch the return type without checking the arguments.
-        if (isCallExpression(expr) && expr.expression.kind !== SyntaxKind.SuperKeyword && !isRequireCall(expr, /*requireStringLiteralLikeArgument*/ true) && !isSymbolOrSymbolForCall(expr)) {
+        if (isCallExpression(expr) && expr.expression.kind !== SyntaxKind.SuperKeyword && !isRequireCall(expr, /*requireStringLiteralLikeArgument*/ true) && !isSymbolOrSymbolForCall(expr) && !isImportCall(expr)) {
             return isCallChain(expr) ? getReturnTypeOfSingleNonGenericSignatureOfCallChain(expr) :
                 getReturnTypeOfSingleNonGenericCallSignature(checkNonNullExpression(expr.expression));
         }
@@ -49886,6 +49886,10 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
                 return isExportAssignment(node.parent) ? Debug.checkDefined(node.parent.symbol) : undefined;
 
             case SyntaxKind.ImportKeyword:
+                if (isMetaProperty(node.parent) && node.parent.name.escapedText === "defer") {
+                    return undefined;
+                }
+                // falls through
             case SyntaxKind.NewKeyword:
                 return isMetaProperty(node.parent) ? checkMetaPropertyKeyword(node.parent).symbol : undefined;
             case SyntaxKind.InstanceOfKeyword:
@@ -49958,7 +49962,12 @@ export function createTypeChecker(host: TypeCheckerHost): TypeChecker {
         }
 
         if (isExpressionNode(node)) {
+            try {
             return getRegularTypeOfExpression(node as Expression);
+            } catch (e) {
+                console.error("Error while getting the type of", isExpressionNode(node), node.kind, (node as MetaProperty).keywordToken !== SyntaxKind.ImportKeyword, (node as MetaProperty).name?.escapedText)
+                throw e;
+            }
         }
 
         if (classType && !classDecl.isImplements) {

src/compiler/utilities.ts

@@ -3605,8 +3605,10 @@ export function isExpressionNode(node: Node): boolean {
         case SyntaxKind.JsxFragment:
         case SyntaxKind.YieldExpression:
         case SyntaxKind.AwaitExpression:
-        case SyntaxKind.MetaProperty:
             return true;
+        case SyntaxKind.MetaProperty:
+            // `import.defer` in `import.defer(...)` is not an expression
+            return !isImportCall(node.parent) || node.parent.expression !== node;
         case SyntaxKind.ExpressionWithTypeArguments:
             return !isHeritageClause(node.parent) && !isJSDocAugmentsTag(node.parent);
         case SyntaxKind.QualifiedName:

tests/baselines/reference/dynamicImportDefer(module=commonjs).types

@@ -26,8 +26,6 @@ import.defer("./a.js").then(ns => {
 >                            : ^        ^^^^^^^^^^^^^^^^^^^^^^^        ^^^^^^^^^^           ^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^          ^^^^      ^^   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 >import.defer("./a.js") : Promise<typeof import("a")>
 >                       : ^^^^^^^^^^^^^^^^^^^^^^^^^^^
->import.defer : any
->             : ^^^
 >defer : any
 >      : ^^^
 >"./a.js" : "./a.js"

tests/baselines/reference/dynamicImportDefer(module=es2015).types

@@ -26,8 +26,6 @@ import.defer("./a.js").then(ns => {
 >                            : ^        ^^^^^^^^^^^^^^^^^^^^^^^        ^^^^^^^^^^           ^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^          ^^^^      ^^   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 >import.defer("./a.js") : Promise<typeof import("a")>
 >                       : ^^^^^^^^^^^^^^^^^^^^^^^^^^^
->import.defer : any
->             : ^^^
 >defer : any
 >      : ^^^
 >"./a.js" : "./a.js"

tests/baselines/reference/dynamicImportDefer(module=es2020).types

@@ -26,8 +26,6 @@ import.defer("./a.js").then(ns => {
 >                            : ^        ^^^^^^^^^^^^^^^^^^^^^^^        ^^^^^^^^^^           ^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^          ^^^^      ^^   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 >import.defer("./a.js") : Promise<typeof import("a")>
 >                       : ^^^^^^^^^^^^^^^^^^^^^^^^^^^
->import.defer : any
->             : ^^^
 >defer : any
 >      : ^^^
 >"./a.js" : "./a.js"

tests/baselines/reference/dynamicImportDefer(module=esnext).types

@@ -26,7 +26,6 @@ import.defer("./a.js").then(ns => {
 >                            : ^        ^^^^^^^^^^^^^^^^^^^^^^^        ^^^^^^^^^^           ^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^          ^^^^      ^^   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 >import.defer("./a.js") : Promise<typeof import("a")>
 >                       : ^^^^^^^^^^^^^^^^^^^^^^^^^^^
->import.defer : error
 >defer : any
 >      : ^^^
 >"./a.js" : "./a.js"

tests/baselines/reference/dynamicImportDefer(module=nodenext).types

@@ -26,7 +26,6 @@ import.defer("./a.js").then(ns => {
 >                            : ^        ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^        ^^^^^^^^^^           ^^^^     ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^          ^^^^      ^^   ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
 >import.defer("./a.js") : Promise<{ default: typeof import("a"); foo(): void; }>
 >                       : ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
->import.defer : error
 >defer : any
 >      : ^^^
 >"./a.js" : "./a.js"