Add nightly-only error on ImportType resolution mode assertion (microsoft#49356)

andrewbranch · andrewbranch · commit 3f5a06da0747 · 2022-06-02T15:59:57.000-07:00
* Add nightly-only error on ImportType resolution mode assertion * Temporarily change version to demonstrate errors * Revert "Temporarily change version to demonstrate errors" This reverts commit 40c2469. * "Resolution mode" -> "resolution-mode"
diff --git a/src/compiler/checker.ts b/src/compiler/checker.ts
@@ -6199,6 +6199,7 @@ namespace ts {
                                     factory.createStringLiteral("import")
                                 )
                             ])));
+                            context.tracker.reportImportTypeNodeResolutionModeOverride?.();
                         }
                     }
                     if (!specifier) {
@@ -6222,6 +6223,7 @@ namespace ts {
                                         factory.createStringLiteral(swappedMode === ModuleKind.ESNext ? "import" : "require")
                                     )
                                 ])));
+                                context.tracker.reportImportTypeNodeResolutionModeOverride?.();
                             }
                         }
 
@@ -35825,8 +35827,11 @@ namespace ts {
             if (node.assertions) {
                 const override = getResolutionModeOverrideForClause(node.assertions.assertClause, grammarErrorOnNode);
                 if (override) {
+                    if (!isNightly()) {
+                        grammarErrorOnNode(node.assertions.assertClause, Diagnostics.resolution_mode_assertions_are_unstable_Use_nightly_TypeScript_to_silence_this_error_Try_updating_with_npm_install_D_typescript_next);
+                    }
                     if (getEmitModuleResolutionKind(compilerOptions) !== ModuleResolutionKind.Node16 && getEmitModuleResolutionKind(compilerOptions) !== ModuleResolutionKind.NodeNext) {
-                        grammarErrorOnNode(node.assertions.assertClause, Diagnostics.Resolution_modes_are_only_supported_when_moduleResolution_is_node16_or_nodenext);
+                        grammarErrorOnNode(node.assertions.assertClause, Diagnostics.resolution_mode_assertions_are_only_supported_when_moduleResolution_is_node16_or_nodenext);
                     }
                 }
             }
@@ -40720,11 +40725,11 @@ namespace ts {
                 const override = getResolutionModeOverrideForClause(declaration.assertClause, validForTypeAssertions ? grammarErrorOnNode : undefined);
                 if (validForTypeAssertions && override) {
                     if (!isNightly()) {
-                        grammarErrorOnNode(declaration.assertClause, Diagnostics.Resolution_mode_assertions_are_unstable_Use_nightly_TypeScript_to_silence_this_error_Try_updating_with_npm_install_D_typescript_next);
+                        grammarErrorOnNode(declaration.assertClause, Diagnostics.resolution_mode_assertions_are_unstable_Use_nightly_TypeScript_to_silence_this_error_Try_updating_with_npm_install_D_typescript_next);
                     }
 
                     if (getEmitModuleResolutionKind(compilerOptions) !== ModuleResolutionKind.Node16 && getEmitModuleResolutionKind(compilerOptions) !== ModuleResolutionKind.NodeNext) {
-                        return grammarErrorOnNode(declaration.assertClause, Diagnostics.Resolution_modes_are_only_supported_when_moduleResolution_is_node16_or_nodenext);
+                        return grammarErrorOnNode(declaration.assertClause, Diagnostics.resolution_mode_assertions_are_only_supported_when_moduleResolution_is_node16_or_nodenext);
                     }
                     return; // Other grammar checks do not apply to type-only imports with resolution mode assertions
                 }
diff --git a/src/compiler/diagnosticMessages.json b/src/compiler/diagnosticMessages.json
@@ -1424,7 +1424,7 @@
         "category": "Error",
         "code": 1451
     },
-    "Resolution modes are only supported when `moduleResolution` is `node16` or `nodenext`.": {
+    "'resolution-mode' assertions are only supported when `moduleResolution` is `node16` or `nodenext`.": {
         "category": "Error",
         "code": 1452
     },
@@ -3451,6 +3451,10 @@
         "category": "Error",
         "code": 2838
     },
+    "The type of this expression cannot be named without a 'resolution-mode' assertion, which is an unstable feature. Use nightly TypeScript to silence this error. Try updating with 'npm install -D typescript@next'.": {
+        "category": "Error",
+        "code": 2841
+    },
 
     "Import declaration '{0}' is using private name '{1}'.": {
         "category": "Error",
@@ -3880,7 +3884,7 @@
         "category": "Error",
         "code": 4124
     },
-    "Resolution mode assertions are unstable. Use nightly TypeScript to silence this error. Try updating with 'npm install -D typescript@next'.": {
+    "'resolution-mode' assertions are unstable. Use nightly TypeScript to silence this error. Try updating with 'npm install -D typescript@next'.": {
         "category": "Error",
         "code": 4125
     },
diff --git a/src/compiler/program.ts b/src/compiler/program.ts
@@ -3116,7 +3116,7 @@ namespace ts {
                 setResolvedTypeReferenceDirective(file, fileName, resolvedTypeReferenceDirective);
                 const mode = ref.resolutionMode || file.impliedNodeFormat;
                 if (mode && getEmitModuleResolutionKind(options) !== ModuleResolutionKind.Node16 && getEmitModuleResolutionKind(options) !== ModuleResolutionKind.NodeNext) {
-                    programDiagnostics.add(createDiagnosticForRange(file, ref, Diagnostics.Resolution_modes_are_only_supported_when_moduleResolution_is_node16_or_nodenext));
+                    programDiagnostics.add(createDiagnosticForRange(file, ref, Diagnostics.resolution_mode_assertions_are_only_supported_when_moduleResolution_is_node16_or_nodenext));
                 }
                 processTypeReferenceDirective(fileName, mode, resolvedTypeReferenceDirective, { kind: FileIncludeKind.TypeReferenceDirective, file: file.path, index, });
             }
diff --git a/src/compiler/transformers/declarations.ts b/src/compiler/transformers/declarations.ts
@@ -78,7 +78,8 @@ namespace ts {
             trackReferencedAmbientModule,
             trackExternalModuleSymbolOfImportTypeNode,
             reportNonlocalAugmentation,
-            reportNonSerializableProperty
+            reportNonSerializableProperty,
+            reportImportTypeNodeResolutionModeOverride,
         };
         let errorNameNode: DeclarationName | undefined;
         let errorFallbackNode: Declaration | undefined;
@@ -235,6 +236,12 @@ namespace ts {
             }
         }
 
+        function reportImportTypeNodeResolutionModeOverride() {
+            if (!isNightly() && (errorNameNode || errorFallbackNode)) {
+                context.addDiagnostic(createDiagnosticForNode((errorNameNode || errorFallbackNode)!, Diagnostics.The_type_of_this_expression_cannot_be_named_without_a_resolution_mode_assertion_which_is_an_unstable_feature_Use_nightly_TypeScript_to_silence_this_error_Try_updating_with_npm_install_D_typescript_next));
+            }
+        }
+
         function transformDeclarationsForJS(sourceFile: SourceFile, bundled?: boolean) {
             const oldDiag = getSymbolAccessibilityDiagnostic;
             getSymbolAccessibilityDiagnostic = (s) => (s.errorNode && canProduceDiagnostics(s.errorNode) ? createGetSymbolAccessibilityDiagnosticForNode(s.errorNode)(s) : ({
@@ -792,7 +799,7 @@ namespace ts {
             const mode = getResolutionModeOverrideForClause(assertClause);
             if (mode !== undefined) {
                 if (!isNightly()) {
-                    context.addDiagnostic(createDiagnosticForNode(assertClause!, Diagnostics.Resolution_mode_assertions_are_unstable_Use_nightly_TypeScript_to_silence_this_error_Try_updating_with_npm_install_D_typescript_next));
+                    context.addDiagnostic(createDiagnosticForNode(assertClause!, Diagnostics.resolution_mode_assertions_are_unstable_Use_nightly_TypeScript_to_silence_this_error_Try_updating_with_npm_install_D_typescript_next));
                 }
                 return assertClause;
             }
diff --git a/src/compiler/types.ts b/src/compiler/types.ts
@@ -8511,6 +8511,7 @@ namespace ts {
         trackExternalModuleSymbolOfImportTypeNode?(symbol: Symbol): void;
         reportNonlocalAugmentation?(containingFile: SourceFile, parentSymbol: Symbol, augmentingSymbol: Symbol): void;
         reportNonSerializableProperty?(propertyName: string): void;
+        reportImportTypeNodeResolutionModeOverride?(): void;
     }
 
     export interface TextSpan {
diff --git a/tests/baselines/reference/nodeModulesTripleSlashReferenceModeOverrideOldResolutionError.errors.txt b/tests/baselines/reference/nodeModulesTripleSlashReferenceModeOverrideOldResolutionError.errors.txt
@@ -1,6 +1,6 @@
-/index.ts(1,23): error TS1452: Resolution modes are only supported when `moduleResolution` is `node16` or `nodenext`.
+/index.ts(1,23): error TS1452: 'resolution-mode' assertions are only supported when `moduleResolution` is `node16` or `nodenext`.
 /index.ts(1,23): error TS2688: Cannot find type definition file for 'pkg'.
-/index.ts(2,23): error TS1452: Resolution modes are only supported when `moduleResolution` is `node16` or `nodenext`.
+/index.ts(2,23): error TS1452: 'resolution-mode' assertions are only supported when `moduleResolution` is `node16` or `nodenext`.
 /index.ts(2,23): error TS2688: Cannot find type definition file for 'pkg'.
 /index.ts(3,1): error TS2304: Cannot find name 'foo'.
 /index.ts(4,1): error TS2304: Cannot find name 'bar'.
@@ -9,12 +9,12 @@
 ==== /index.ts (6 errors) ====
     /// <reference types="pkg" resolution-mode="require" />
                           ~~~
-!!! error TS1452: Resolution modes are only supported when `moduleResolution` is `node16` or `nodenext`.
+!!! error TS1452: 'resolution-mode' assertions are only supported when `moduleResolution` is `node16` or `nodenext`.
                           ~~~
 !!! error TS2688: Cannot find type definition file for 'pkg'.
     /// <reference types="pkg" resolution-mode="import" />
                           ~~~
-!!! error TS1452: Resolution modes are only supported when `moduleResolution` is `node16` or `nodenext`.
+!!! error TS1452: 'resolution-mode' assertions are only supported when `moduleResolution` is `node16` or `nodenext`.
                           ~~~
 !!! error TS2688: Cannot find type definition file for 'pkg'.
     foo; // `resolution-mode` is an error in old resolution settings, which resolves is arbitrary

Original file line number	Diff line number	Diff line change
`@@ -6199,6 +6199,7 @@ namespace ts {`
`6199`	`6199`	`factory.createStringLiteral("import")`
`6200`	`6200`	`)`
`6201`	`6201`	`])));`
	`6202`	`+ context.tracker.reportImportTypeNodeResolutionModeOverride?.();`
`6202`	`6203`	`}`
`6203`	`6204`	`}`
`6204`	`6205`	`if (!specifier) {`
`@@ -6222,6 +6223,7 @@ namespace ts {`
`6222`	`6223`	`factory.createStringLiteral(swappedMode === ModuleKind.ESNext ? "import" : "require")`
`6223`	`6224`	`)`
`6224`	`6225`	`])));`
	`6226`	`+ context.tracker.reportImportTypeNodeResolutionModeOverride?.();`
`6225`	`6227`	`}`
`6226`	`6228`	`}`
`6227`	`6229`
`@@ -35825,8 +35827,11 @@ namespace ts {`
`35825`	`35827`	`if (node.assertions) {`
`35826`	`35828`	`const override = getResolutionModeOverrideForClause(node.assertions.assertClause, grammarErrorOnNode);`
`35827`	`35829`	`if (override) {`
	`35830`	`+ if (!isNightly()) {`
	`35831`	`+ grammarErrorOnNode(node.assertions.assertClause, Diagnostics.resolution_mode_assertions_are_unstable_Use_nightly_TypeScript_to_silence_this_error_Try_updating_with_npm_install_D_typescript_next);`
	`35832`	`+ }`
`35828`	`35833`	`if (getEmitModuleResolutionKind(compilerOptions) !== ModuleResolutionKind.Node16 && getEmitModuleResolutionKind(compilerOptions) !== ModuleResolutionKind.NodeNext) {`
`35829`		`- grammarErrorOnNode(node.assertions.assertClause, Diagnostics.Resolution_modes_are_only_supported_when_moduleResolution_is_node16_or_nodenext);`
	`35834`	`+ grammarErrorOnNode(node.assertions.assertClause, Diagnostics.resolution_mode_assertions_are_only_supported_when_moduleResolution_is_node16_or_nodenext);`
`35830`	`35835`	`}`
`35831`	`35836`	`}`
`35832`	`35837`	`}`
`@@ -40720,11 +40725,11 @@ namespace ts {`
`40720`	`40725`	`const override = getResolutionModeOverrideForClause(declaration.assertClause, validForTypeAssertions ? grammarErrorOnNode : undefined);`
`40721`	`40726`	`if (validForTypeAssertions && override) {`
`40722`	`40727`	`if (!isNightly()) {`
`40723`		`- grammarErrorOnNode(declaration.assertClause, Diagnostics.Resolution_mode_assertions_are_unstable_Use_nightly_TypeScript_to_silence_this_error_Try_updating_with_npm_install_D_typescript_next);`
	`40728`	`+ grammarErrorOnNode(declaration.assertClause, Diagnostics.resolution_mode_assertions_are_unstable_Use_nightly_TypeScript_to_silence_this_error_Try_updating_with_npm_install_D_typescript_next);`
`40724`	`40729`	`}`
`40725`	`40730`
`40726`	`40731`	`if (getEmitModuleResolutionKind(compilerOptions) !== ModuleResolutionKind.Node16 && getEmitModuleResolutionKind(compilerOptions) !== ModuleResolutionKind.NodeNext) {`
`40727`		`- return grammarErrorOnNode(declaration.assertClause, Diagnostics.Resolution_modes_are_only_supported_when_moduleResolution_is_node16_or_nodenext);`
	`40732`	`+ return grammarErrorOnNode(declaration.assertClause, Diagnostics.resolution_mode_assertions_are_only_supported_when_moduleResolution_is_node16_or_nodenext);`
`40728`	`40733`	`}`
`40729`	`40734`	`return; // Other grammar checks do not apply to type-only imports with resolution mode assertions`
`40730`	`40735`	`}`
Original file line number	Diff line number	Diff line change
`@@ -3116,7 +3116,7 @@ namespace ts {`
`3116`	`3116`	`setResolvedTypeReferenceDirective(file, fileName, resolvedTypeReferenceDirective);`
`3117`	`3117`	`const mode = ref.resolutionMode \|\| file.impliedNodeFormat;`
`3118`	`3118`	`if (mode && getEmitModuleResolutionKind(options) !== ModuleResolutionKind.Node16 && getEmitModuleResolutionKind(options) !== ModuleResolutionKind.NodeNext) {`
`3119`		`- programDiagnostics.add(createDiagnosticForRange(file, ref, Diagnostics.Resolution_modes_are_only_supported_when_moduleResolution_is_node16_or_nodenext));`
	`3119`	`+ programDiagnostics.add(createDiagnosticForRange(file, ref, Diagnostics.resolution_mode_assertions_are_only_supported_when_moduleResolution_is_node16_or_nodenext));`
`3120`	`3120`	`}`
`3121`	`3121`	`processTypeReferenceDirective(fileName, mode, resolvedTypeReferenceDirective, { kind: FileIncludeKind.TypeReferenceDirective, file: file.path, index, });`
`3122`	`3122`	`}`
Original file line number	Diff line number	Diff line change
`@@ -8511,6 +8511,7 @@ namespace ts {`
`8511`	`8511`	`trackExternalModuleSymbolOfImportTypeNode?(symbol: Symbol): void;`
`8512`	`8512`	`reportNonlocalAugmentation?(containingFile: SourceFile, parentSymbol: Symbol, augmentingSymbol: Symbol): void;`
`8513`	`8513`	`reportNonSerializableProperty?(propertyName: string): void;`
	`8514`	`+ reportImportTypeNodeResolutionModeOverride?(): void;`
`8514`	`8515`	`}`
`8515`	`8516`
`8516`	`8517`	`export interface TextSpan {`