Disallow optional calls on import.defer

tsc/internal/parser/parser.go

@@ -5241,6 +5241,9 @@ func (p *Parser) parseLeftHandSideExpressionOrHigher() *ast.Expression {
 			p.nextToken() // advance past the dot
 			expression = p.finishNode(p.factory.新建MetaProperty(ast.KindImportKeyword, p.parseIdentifierName()), pos)
 			if expression.Text() == "defer" {
+				if p.token == ast.KindQuestionDotToken && p.lookAhead((*Parser).nextTokenIsOpenParenOrLessThan) {
+					p.parseErrorAtCurrentToken(diagnostics.X_0_expected, scanner.TokenToString(ast.KindOpenParenToken))
+				}
 				if p.token == ast.KindOpenParenToken || p.token == ast.KindLessThanToken {
 					p.sourceFlags |= ast.NodeFlagsPossiblyContainsDynamicImport
 				}

tsc/testdata/baselines/reference/conformance/importDeferOptionalCall.errors.txt

@@ -0,0 +1,16 @@
+b.ts(1,13): error TS1005: '(' expected.
+b.ts(2,13): error TS1005: '(' expected.
+
+
+==== x.ts (0 errors) ====
+    export const x = 1;
+
+==== b.ts (2 errors) ====
+    import.defer?.("./x");
+                ~~
+!!! error TS1005: '(' expected.
+    import.defer?.<string>("./x");
+                ~~
+!!! error TS1005: '(' expected.
+    import.defer("./x");
+

tsc/testdata/baselines/reference/conformance/importDeferOptionalCall.js

@@ -0,0 +1,18 @@
+//// [tests/cases/conformance/importDefer/importDeferOptionalCall.ts] ////
+
+//// [x.ts]
+export const x = 1;
+
+//// [b.ts]
+import.defer?.("./x");
+import.defer?.<string>("./x");
+import.defer("./x");
+
+
+//// [x.js]
+export const x = 1;
+//// [b.js]
+"use strict";
+import.defer?.("./x");
+import.defer?.("./x");
+import.defer("./x");

tsc/testdata/baselines/reference/conformance/importDeferOptionalCall.symbols

@@ -0,0 +1,16 @@
+//// [tests/cases/conformance/importDefer/importDeferOptionalCall.ts] ////
+
+=== x.ts ===
+export const x = 1;
+>x : Symbol(x, Decl(x.ts, 0, 12))
+
+=== b.ts ===
+import.defer?.("./x");
+>"./x" : Symbol("./x", Decl(x.ts, 0, 0))
+
+import.defer?.<string>("./x");
+>"./x" : Symbol("./x", Decl(x.ts, 0, 0))
+
+import.defer("./x");
+>"./x" : Symbol("./x", Decl(x.ts, 0, 0))
+

tsc/testdata/baselines/reference/conformance/importDeferOptionalCall.types

@@ -0,0 +1,23 @@
+//// [tests/cases/conformance/importDefer/importDeferOptionalCall.ts] ////
+
+=== x.ts ===
+export const x = 1;
+>x : 1
+>1 : 1
+
+=== b.ts ===
+import.defer?.("./x");
+>import.defer?.("./x") : Promise<typeof import("./x")>
+>defer : any
+>"./x" : "./x"
+
+import.defer?.<string>("./x");
+>import.defer?.<string>("./x") : Promise<typeof import("./x")>
+>defer : any
+>"./x" : "./x"
+
+import.defer("./x");
+>import.defer("./x") : Promise<typeof import("./x")>
+>defer : any
+>"./x" : "./x"
+

tsc/testdata/tests/cases/conformance/importDefer/importDeferOptionalCall.ts

@@ -0,0 +1,9 @@
+// @module: esnext
+
+// @filename: x.ts
+export const x = 1;
+
+// @filename: b.ts
+import.defer?.("./x");
+import.defer?.<string>("./x");
+import.defer("./x");