fix(48759): throw an error on using import expression with type arguments (microsoft#48787)

Author: a-tarasyuk

src/compiler/checker.ts

@@ -43901,6 +43901,9 @@ namespace ts {
         }
 
         function checkGrammarExpressionWithTypeArguments(node: ExpressionWithTypeArguments | TypeQueryNode) {
+            if (isExpressionWithTypeArguments(node) && isImportKeyword(node.expression) && node.typeArguments) {
+                return grammarErrorOnNode(node, Diagnostics.This_use_of_import_is_invalid_import_calls_can_be_written_but_they_must_have_parentheses_and_cannot_have_type_arguments);
+            }
             return checkGrammarTypeArguments(node, node.typeArguments);
         }
 
@@ -44951,7 +44954,7 @@ namespace ts {
             }
 
             if (node.typeArguments) {
-                return grammarErrorOnNode(node, Diagnostics.Dynamic_import_cannot_have_type_arguments);
+                return grammarErrorOnNode(node, Diagnostics.This_use_of_import_is_invalid_import_calls_can_be_written_but_they_must_have_parentheses_and_cannot_have_type_arguments);
             }
 
             const nodeArguments = node.arguments;

src/compiler/diagnosticMessages.json

@@ -956,7 +956,7 @@
         "category": "Error",
         "code": 1325
     },
-    "Dynamic import cannot have type arguments.": {
+    "This use of 'import' is invalid. 'import()' calls can be written, but they must have parentheses and cannot have type arguments.": {
         "category": "Error",
         "code": 1326
     },

tests/baselines/reference/importCallExpressionWithTypeArgument.errors.txt

@@ -1,5 +1,5 @@
-tests/cases/conformance/dynamicImport/1.ts(2,10): error TS1326: Dynamic import cannot have type arguments.
-tests/cases/conformance/dynamicImport/1.ts(3,10): error TS1326: Dynamic import cannot have type arguments.
+tests/cases/conformance/dynamicImport/1.ts(2,10): error TS1326: This use of 'import' is invalid. 'import()' calls can be written, but they must have parentheses and cannot have type arguments.
+tests/cases/conformance/dynamicImport/1.ts(3,10): error TS1326: This use of 'import' is invalid. 'import()' calls can be written, but they must have parentheses and cannot have type arguments.
 
 
 ==== tests/cases/conformance/dynamicImport/0.ts (0 errors) ====
@@ -9,7 +9,7 @@ tests/cases/conformance/dynamicImport/1.ts(3,10): error TS1326: Dynamic import c
     "use strict"
     var p1 = import<Promise<any>>("./0");  // error
              ~~~~~~~~~~~~~~~~~~~~~~~~~~~
-!!! error TS1326: Dynamic import cannot have type arguments.
+!!! error TS1326: This use of 'import' is invalid. 'import()' calls can be written, but they must have parentheses and cannot have type arguments.
     var p2 = import<>("./0");  // error
              ~~~~~~~~~~~~~~~
-!!! error TS1326: Dynamic import cannot have type arguments.
+!!! error TS1326: This use of 'import' is invalid. 'import()' calls can be written, but they must have parentheses and cannot have type arguments.

tests/baselines/reference/importWithTypeArguments.errors.txt

@@ -0,0 +1,12 @@
+tests/cases/conformance/types/import/importWithTypeArguments.ts(1,1): error TS1326: This use of 'import' is invalid. 'import()' calls can be written, but they must have parentheses and cannot have type arguments.
+tests/cases/conformance/types/import/importWithTypeArguments.ts(2,11): error TS1326: This use of 'import' is invalid. 'import()' calls can be written, but they must have parentheses and cannot have type arguments.
+
+
+==== tests/cases/conformance/types/import/importWithTypeArguments.ts (2 errors) ====
+    import<T>
+    ~~~~~~~~~
+!!! error TS1326: This use of 'import' is invalid. 'import()' calls can be written, but they must have parentheses and cannot have type arguments.
+    const a = import<string, number>
+              ~~~~~~~~~~~~~~~~~~~~~~
+!!! error TS1326: This use of 'import' is invalid. 'import()' calls can be written, but they must have parentheses and cannot have type arguments.
+    

tests/baselines/reference/importWithTypeArguments.js

@@ -0,0 +1,8 @@
+//// [importWithTypeArguments.ts]
+import<T>
+const a = import<string, number>
+
+
+//// [importWithTypeArguments.js]
+import;
+var a = (import);

tests/baselines/reference/importWithTypeArguments.symbols

@@ -0,0 +1,7 @@
+=== tests/cases/conformance/types/import/importWithTypeArguments.ts ===
+import<T>
+>T : Symbol(T)
+
+const a = import<string, number>
+>a : Symbol(a, Decl(importWithTypeArguments.ts, 1, 5))
+

tests/baselines/reference/importWithTypeArguments.types

@@ -0,0 +1,5 @@
+=== tests/cases/conformance/types/import/importWithTypeArguments.ts ===
+import<T>
+const a = import<string, number>
+>a : any
+

tests/cases/conformance/types/import/importWithTypeArguments.ts

@@ -0,0 +1,2 @@
+import<T>
+const a = import<string, number>