Shift diagnostic messages and update references

This is a non-functional change.

Signed-off-by: Hana Joo <hanajoo@google.com>

Author: h-joo

src/compiler/diagnosticMessages.json

@@ -6818,58 +6818,62 @@
         "category": "Error",
         "code": 9024
     },
-    "Declaration emit for this parameter requires implicitly adding undefined to it's type. This is not supported with --isolatedDeclarations.": {
+    "Declaration emit for this expression requires adding a path reference directive to '{0}' with --isolatedDeclarations.": {
         "category": "Error",
         "code": 9025
     },
-    "Declaration emit for this file requires preserving this import for augmentations. This is not supported with --isolatedDeclarations.": {
+    "Declaration emit for this parameter requires implicitly adding undefined to it's type. This is not supported with --isolatedDeclarations.": {
         "category": "Error",
         "code": 9026
     },
-    "Add a type annotation to the variable {0}.": {
+    "Declaration emit for this file requires preserving this import for augmentations. This is not supported with --isolatedDeclarations.": {
         "category": "Error",
         "code": 9027
     },
-    "Add a type annotation to the parameter {0}.": {
+    "Add a type annotation to the variable {0}.": {
         "category": "Error",
         "code": 9028
     },
-    "Add a type annotation to the property {0}.": {
+    "Add a type annotation to the parameter {0}.": {
         "category": "Error",
         "code": 9029
     },
-    "Add a return type to the function expression.": {
+    "Add a type annotation to the property {0}.": {
         "category": "Error",
         "code": 9030
     },
-    "Add a return type to the function declaration.": {
+    "Add a return type to the function expression.": {
         "category": "Error",
         "code": 9031
     },
-    "Add a return type to the get accessor declaration.": {
+    "Add a return type to the function declaration.": {
         "category": "Error",
         "code": 9032
     },
-    "Add a type to parameter of the set accessor declaration.": {
+    "Add a return type to the get accessor declaration.": {
         "category": "Error",
         "code": 9033
     },
-    "Add a return type to the method": {
+    "Add a type to parameter of the set accessor declaration.": {
         "category": "Error",
         "code": 9034
     },
-    "Add a type assertion to this expression to make type type explicit.": {
+    "Add a return type to the method": {
         "category": "Error",
         "code": 9035
     },
-    "Move the expression in default export to a variable and add a type annotation to it.": {
+    "Add a type assertion to this expression to make type type explicit.": {
         "category": "Error",
         "code": 9036
     },
-    "Default exports can't be inferred with --isolatedDeclarations.": {
+    "Move the expression in default export to a variable and add a type annotation to it.": {
         "category": "Error",
         "code": 9037
     },
+    "Default exports can't be inferred with --isolatedDeclarations.": {
+        "category": "Error",
+        "code": 9038
+    },
     "JSX attributes must only be assigned a non-empty 'expression'.": {
         "category": "Error",
         "code": 17000

tests/baselines/reference/computedPropertiesNarrowed.errors.txt

@@ -15,7 +15,7 @@ computedPropertiesNarrowed.ts(47,5): error TS9014: Computed properties must be n
         [x]: 1 // error narrow type !== declared type
         ~~~
 !!! error TS9014: Computed properties must be number or string literals, variables or dotted expressions with --isolatedDeclarations.
-!!! related TS9027 computedPropertiesNarrowed.ts:4:12: Add a type annotation to the variable o.
+!!! related TS9028 computedPropertiesNarrowed.ts:4:12: Add a type annotation to the variable o.
     }
 
 
@@ -31,24 +31,24 @@ computedPropertiesNarrowed.ts(47,5): error TS9014: Computed properties must be n
     export let o32 = { [1-1]: 1 } // error number 
                        ~~~~~
 !!! error TS9014: Computed properties must be number or string literals, variables or dotted expressions with --isolatedDeclarations.
-!!! related TS9027 computedPropertiesNarrowed.ts:18:12: Add a type annotation to the variable o32.
+!!! related TS9028 computedPropertiesNarrowed.ts:18:12: Add a type annotation to the variable o32.
 
     let u = Symbol();
             ~~~~~~~~
 !!! error TS9010: Variable must have an explicit type annotation with --isolatedDeclarations.
-!!! related TS9027 computedPropertiesNarrowed.ts:20:5: Add a type annotation to the variable u.
+!!! related TS9028 computedPropertiesNarrowed.ts:20:5: Add a type annotation to the variable u.
     export let o4 = {
         [u]: 1 // Should error, nut a unique symbol
         ~~~
 !!! error TS9014: Computed properties must be number or string literals, variables or dotted expressions with --isolatedDeclarations.
-!!! related TS9027 computedPropertiesNarrowed.ts:21:12: Add a type annotation to the variable o4.
+!!! related TS9028 computedPropertiesNarrowed.ts:21:12: Add a type annotation to the variable o4.
     }
 
     export let o5  ={
         [Symbol()]: 1 // Should error
         ~~~~~~~~~~
 !!! error TS9014: Computed properties must be number or string literals, variables or dotted expressions with --isolatedDeclarations.
-!!! related TS9027 computedPropertiesNarrowed.ts:25:12: Add a type annotation to the variable o5.
+!!! related TS9028 computedPropertiesNarrowed.ts:25:12: Add a type annotation to the variable o5.
     }
 
     const uu: unique symbol = Symbol();
@@ -62,7 +62,7 @@ computedPropertiesNarrowed.ts(47,5): error TS9014: Computed properties must be n
         [foo()]: 1 // Should error
         ~~~~~~~
 !!! error TS9014: Computed properties must be number or string literals, variables or dotted expressions with --isolatedDeclarations.
-!!! related TS9027 computedPropertiesNarrowed.ts:36:12: Add a type annotation to the variable o7.
+!!! related TS9028 computedPropertiesNarrowed.ts:36:12: Add a type annotation to the variable o7.
     };
 
     let E = { A: 1 } as const
@@ -75,6 +75,6 @@ computedPropertiesNarrowed.ts(47,5): error TS9014: Computed properties must be n
         [ns().v]: 1
         ~~~~~~~~
 !!! error TS9014: Computed properties must be number or string literals, variables or dotted expressions with --isolatedDeclarations.
-!!! related TS9027 computedPropertiesNarrowed.ts:46:14: Add a type annotation to the variable o9.
+!!! related TS9028 computedPropertiesNarrowed.ts:46:14: Add a type annotation to the variable o9.
     }
 

tests/baselines/reference/isolated-declarations/auto-fixed/diff/arrayFakeFlatNoCrashInferenceDeclarations.d.ts.diff

@@ -37,7 +37,7 @@
  !!! error TS5088: The inferred type of 'foo' references a type with a cyclic structure which cannot be trivially serialized. A type annotation is necessary.
 +             ~~~
 +!!! error TS9007: Function must have an explicit return type annotation with --isolatedDeclarations.
-+!!! related TS9031 arrayFakeFlatNoCrashInferenceDeclarations.ts:13:10: Add a return type to the function declaration.
++!!! related TS9032 arrayFakeFlatNoCrashInferenceDeclarations.ts:13:10: Add a return type to the function declaration.
          return flat(arr, depth);
      }
 \ No newline at end of file

tests/baselines/reference/isolated-declarations/auto-fixed/diff/declarationEmitCommonJsModuleReferencedType.d.ts.diff

@@ -35,7 +35,7 @@
  !!! error TS2742: The inferred type of 'x' cannot be named without a reference to 'foo/node_modules/nested'. This is likely not portable. A type annotation is necessary.
 +                     ~~~~~
 +!!! error TS9010: Variable must have an explicit type annotation with --isolatedDeclarations.
-+!!! related TS9027 r/entry.ts:3:14: Add a type annotation to the variable x.
++!!! related TS9028 r/entry.ts:3:14: Add a type annotation to the variable x.
      export const y: RootProps = bar();
 
 \ No newline at end of file

tests/baselines/reference/isolated-declarations/auto-fixed/diff/declarationEmitForGlobalishSpecifierSymlink.d.ts.diff

@@ -50,7 +50,7 @@
 +    export const a = getA();
 +                     ~~~~~~
 +!!! error TS9010: Variable must have an explicit type annotation with --isolatedDeclarations.
-+!!! related TS9027 /p1/index.ts:4:14: Add a type annotation to the variable a.
++!!! related TS9028 /p1/index.ts:4:14: Add a type annotation to the variable a.
 +==== /p2/index.d.ts (0 errors) ====
 +    export const a: import("typescript-fsa").A;
 +    

tests/baselines/reference/isolated-declarations/auto-fixed/diff/declarationEmitForGlobalishSpecifierSymlink2.d.ts.diff

@@ -38,7 +38,7 @@
 +    export const a = getA();
 +                     ~~~~~~
 +!!! error TS9010: Variable must have an explicit type annotation with --isolatedDeclarations.
-+!!! related TS9027 /p1/index.ts:4:14: Add a type annotation to the variable a.
++!!! related TS9028 /p1/index.ts:4:14: Add a type annotation to the variable a.
 +==== /p2/index.d.ts (0 errors) ====
 +    export const a: import("typescript-fsa").A;
 +    

tests/baselines/reference/isolated-declarations/auto-fixed/diff/declarationEmitObjectAssignedDefaultExport.d.ts.diff

@@ -17,7 +17,7 @@
  /// [Errors] ////
 
  index.ts(7,1): error TS2742: The inferred type of 'default' cannot be named without a reference to 'styled-components/node_modules/hoist-non-react-statics'. This is likely not portable. A type annotation is necessary.
-+index.ts(7,16): error TS9037: Default exports can't be inferred with --isolatedDeclarations.
++index.ts(7,16): error TS9038: Default exports can't be inferred with --isolatedDeclarations.
 
 
  ==== node_modules/styled-components/node_modules/hoist-non-react-statics/index.d.ts (0 errors) ====
@@ -48,7 +48,7 @@
      ~~~
  !!! error TS2742: The inferred type of 'default' cannot be named without a reference to 'styled-components/node_modules/hoist-non-react-statics'. This is likely not portable. A type annotation is necessary.
 +    ~~
-+!!! error TS9037: Default exports can't be inferred with --isolatedDeclarations.
-+!!! related TS9036 index.ts:7:1: Move the expression in default export to a variable and add a type annotation to it.
++!!! error TS9038: Default exports can't be inferred with --isolatedDeclarations.
++!!! related TS9037 index.ts:7:1: Move the expression in default export to a variable and add a type annotation to it.
 
 \ No newline at end of file

tests/baselines/reference/isolated-declarations/auto-fixed/diff/declarationEmitReexportedSymlinkReference.d.ts.diff

@@ -29,7 +29,7 @@
 +    export const ADMIN = MetadataAccessor.create<boolean>('1');
 +                         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 +!!! error TS9010: Variable must have an explicit type annotation with --isolatedDeclarations.
-+!!! related TS9027 monorepo/pkg3/src/keys.ts:3:14: Add a type annotation to the variable ADMIN.
++!!! related TS9028 monorepo/pkg3/src/keys.ts:3:14: Add a type annotation to the variable ADMIN.
 +==== monorepo/pkg1/dist/index.d.ts (0 errors) ====
 +    export * from './types';
 +==== monorepo/pkg1/dist/types.d.ts (0 errors) ====

tests/baselines/reference/isolated-declarations/auto-fixed/diff/declarationEmitReexportedSymlinkReference2.d.ts.diff

@@ -29,7 +29,7 @@
 +    export const ADMIN = MetadataAccessor.create<boolean>('1');
 +                         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 +!!! error TS9010: Variable must have an explicit type annotation with --isolatedDeclarations.
-+!!! related TS9027 monorepo/pkg3/src/keys.ts:3:14: Add a type annotation to the variable ADMIN.
++!!! related TS9028 monorepo/pkg3/src/keys.ts:3:14: Add a type annotation to the variable ADMIN.
 +==== monorepo/pkg1/dist/index.d.ts (0 errors) ====
 +    export * from './types';
 +==== monorepo/pkg1/dist/types.d.ts (0 errors) ====

tests/baselines/reference/isolated-declarations/auto-fixed/diff/declarationEmitReexportedSymlinkReference3.d.ts.diff

@@ -30,7 +30,7 @@
  !!! error TS2742: The inferred type of 'ADMIN' cannot be named without a reference to '../../pkg2/node_modules/@raymondfeng/pkg1/dist'. This is likely not portable. A type annotation is necessary.
 +                         ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
 +!!! error TS9010: Variable must have an explicit type annotation with --isolatedDeclarations.
-+!!! related TS9027 monorepo/pkg3/src/keys.ts:3:14: Add a type annotation to the variable ADMIN.
++!!! related TS9028 monorepo/pkg3/src/keys.ts:3:14: Add a type annotation to the variable ADMIN.
  ==== monorepo/pkg1/dist/index.d.ts (0 errors) ====
      export * from './types';
  ==== monorepo/pkg1/dist/types.d.ts (0 errors) ====