Bump to 5.5 and update compiler options (#3175)

Author: jakebailey

.changeset/proud-pants-glow.md

@@ -0,0 +1,2 @@
+---
+---

package.json

@@ -38,7 +38,7 @@
       "@types/eslint": "7.29.0",
       "assert": "2.0.0",
       "rollup-plugin-typescript2": "0.34.1",
-      "typescript": "5.4.5",
+      "typescript": "5.5.3",
       "tslib": "^2.6.2",
       "prettier": "^2.0.2",
       "sharp": "0.28.1"

packages/documentation/copy/en/project-config/Compiler Options.md

@@ -686,182 +686,204 @@ tsc app.ts util.ts --target esnext --outfile index.js
 <p>Include source code in the sourcemaps inside the emitted JavaScript.</p>
 </td></tr>
 
-<tr class='odd' name='isolatedModules'>
-  <td><code><a href='/tsconfig/#isolatedModules'>--isolatedModules</a></code></td>
+<tr class='odd' name='isolatedDeclarations'>
+  <td><code><a href='/tsconfig/#isolatedDeclarations'>--isolatedDeclarations</a></code></td>
   <td><p><code>boolean</code></p>
 </td>
   <td><p><code>false</code></p>
 </td>
 </tr>
 <tr class="option-description odd"><td colspan="3">
+<p>Require sufficient annotation on exports so other tools can trivially generate declaration files.</p>
+</td></tr>
+
+<tr class='even' name='isolatedModules'>
+  <td><code><a href='/tsconfig/#isolatedModules'>--isolatedModules</a></code></td>
+  <td><p><code>boolean</code></p>
+</td>
+  <td><p><code>false</code></p>
+</td>
+</tr>
+<tr class="option-description even"><td colspan="3">
 <p>Ensure that each file can be safely transpiled without relying on other imports.</p>
 </td></tr>
 
-<tr class='even' name='jsx'>
+<tr class='odd' name='jsx'>
   <td><code><a href='/tsconfig/#jsx'>--jsx</a></code></td>
   <td><p><code>preserve</code>, <code>react</code>, <code>react-native</code>, <code>react-jsx</code>, or <code>react-jsxdev</code></p>
 </td>
   <td>
 </td>
 </tr>
-<tr class="option-description even"><td colspan="3">
+<tr class="option-description odd"><td colspan="3">
 <p>Specify what JSX code is generated.</p>
 </td></tr>
 
-<tr class='odd' name='jsxFactory'>
+<tr class='even' name='jsxFactory'>
   <td><code><a href='/tsconfig/#jsxFactory'>--jsxFactory</a></code></td>
   <td><p><code>string</code></p>
 </td>
   <td><p><code>React.createElement</code></p>
 </td>
 </tr>
-<tr class="option-description odd"><td colspan="3">
+<tr class="option-description even"><td colspan="3">
 <p>Specify the JSX factory function used when targeting React JSX emit, e.g. 'React.createElement' or 'h'.</p>
 </td></tr>
 
-<tr class='even' name='jsxFragmentFactory'>
+<tr class='odd' name='jsxFragmentFactory'>
   <td><code><a href='/tsconfig/#jsxFragmentFactory'>--jsxFragmentFactory</a></code></td>
   <td><p><code>string</code></p>
 </td>
   <td><p><code>React.Fragment</code></p>
 </td>
 </tr>
-<tr class="option-description even"><td colspan="3">
+<tr class="option-description odd"><td colspan="3">
 <p>Specify the JSX Fragment reference used for fragments when targeting React JSX emit e.g. 'React.Fragment' or 'Fragment'.</p>
 </td></tr>
 
-<tr class='odd' name='jsxImportSource'>
+<tr class='even' name='jsxImportSource'>
   <td><code><a href='/tsconfig/#jsxImportSource'>--jsxImportSource</a></code></td>
   <td><p><code>string</code></p>
 </td>
   <td><p><code>react</code></p>
 </td>
 </tr>
-<tr class="option-description odd"><td colspan="3">
+<tr class="option-description even"><td colspan="3">
 <p>Specify module specifier used to import the JSX factory functions when using <code>jsx: react-jsx*</code>.</p>
 </td></tr>
 
-<tr class='even' name='keyofStringsOnly'>
+<tr class='odd' name='keyofStringsOnly'>
   <td><code><a href='/tsconfig/#keyofStringsOnly'>--keyofStringsOnly</a></code></td>
   <td><p><code>boolean</code></p>
 </td>
   <td><p><code>false</code></p>
 </td>
 </tr>
-<tr class="option-description even"><td colspan="3">
+<tr class="option-description odd"><td colspan="3">
 <p>Make keyof only return strings instead of string, numbers or symbols. Legacy option.</p>
 </td></tr>
 
-<tr class='odd' name='lib'>
+<tr class='even' name='lib'>
   <td><code><a href='/tsconfig/#lib'>--lib</a></code></td>
   <td><p><code>list</code></p>
 </td>
   <td>
 </td>
 </tr>
-<tr class="option-description odd"><td colspan="3">
+<tr class="option-description even"><td colspan="3">
 <p>Specify a set of bundled library declaration files that describe the target runtime environment.</p>
 </td></tr>
 
-<tr class='even' name='listEmittedFiles'>
+<tr class='odd' name='listEmittedFiles'>
   <td><code><a href='/tsconfig/#listEmittedFiles'>--listEmittedFiles</a></code></td>
   <td><p><code>boolean</code></p>
 </td>
   <td><p><code>false</code></p>
 </td>
 </tr>
-<tr class="option-description even"><td colspan="3">
+<tr class="option-description odd"><td colspan="3">
 <p>Print the names of emitted files after a compilation.</p>
 </td></tr>
 
-<tr class='odd' name='listFiles'>
+<tr class='even' name='listFiles'>
   <td><code><a href='/tsconfig/#listFiles'>--listFiles</a></code></td>
   <td><p><code>boolean</code></p>
 </td>
   <td><p><code>false</code></p>
 </td>
 </tr>
-<tr class="option-description odd"><td colspan="3">
+<tr class="option-description even"><td colspan="3">
 <p>Print all of the files read during the compilation.</p>
 </td></tr>
 
-<tr class='even' name='mapRoot'>
+<tr class='odd' name='mapRoot'>
   <td><code><a href='/tsconfig/#mapRoot'>--mapRoot</a></code></td>
   <td><p><code>string</code></p>
 </td>
   <td>
 </td>
 </tr>
-<tr class="option-description even"><td colspan="3">
+<tr class="option-description odd"><td colspan="3">
 <p>Specify the location where debugger should locate map files instead of generated locations.</p>
 </td></tr>
 
-<tr class='odd' name='maxNodeModuleJsDepth'>
+<tr class='even' name='maxNodeModuleJsDepth'>
   <td><code><a href='/tsconfig/#maxNodeModuleJsDepth'>--maxNodeModuleJsDepth</a></code></td>
   <td><p><code>number</code></p>
 </td>
   <td><p><code>0</code></p>
 </td>
 </tr>
-<tr class="option-description odd"><td colspan="3">
+<tr class="option-description even"><td colspan="3">
 <p>Specify the maximum folder depth used for checking JavaScript files from <code>node_modules</code>. Only applicable with <a href="#allowJs"><code>allowJs</code></a>.</p>
 </td></tr>
 
-<tr class='even' name='module'>
+<tr class='odd' name='module'>
   <td><code><a href='/tsconfig/#module'>--module</a></code></td>
   <td><p><code>none</code>, <code>commonjs</code>, <code>amd</code>, <code>umd</code>, <code>system</code>, <code>es6</code>/<code>es2015</code>, <code>es2020</code>, <code>es2022</code>, <code>esnext</code>, <code>node16</code>, <code>nodenext</code>, or <code>preserve</code></p>
 </td>
   <td><p><code>CommonJS</code> if <a href="#target"><code>target</code></a> is <code>ES3</code> or <code>ES5</code>; <code>ES6</code>/<code>ES2015</code> otherwise.</p>
 </td>
 </tr>
-<tr class="option-description even"><td colspan="3">
+<tr class="option-description odd"><td colspan="3">
 <p>Specify what module code is generated.</p>
 </td></tr>
 
-<tr class='odd' name='moduleDetection'>
+<tr class='even' name='moduleDetection'>
   <td><code><a href='/tsconfig/#moduleDetection'>--moduleDetection</a></code></td>
   <td><p><code>legacy</code>, <code>auto</code>, or <code>force</code></p>
 </td>
   <td><p>"auto": Treat files with imports, exports, import.meta, jsx (with jsx: react-jsx), or esm format (with module: node16+) as modules.</p>
 </td>
 </tr>
-<tr class="option-description odd"><td colspan="3">
+<tr class="option-description even"><td colspan="3">
 <p>Specify what method is used to detect whether a file is a script or a module.</p>
 </td></tr>
 
-<tr class='even' name='moduleResolution'>
+<tr class='odd' name='moduleResolution'>
   <td><code><a href='/tsconfig/#moduleResolution'>--moduleResolution</a></code></td>
   <td><p><code>classic</code>, <code>node10</code>/<code>node</code>, <code>node16</code>, <code>nodenext</code>, or <code>bundler</code></p>
 </td>
   <td><p><code>Classic</code> if <a href="#module"><code>module</code></a> is <code>AMD</code>, <code>UMD</code>, <code>System</code>, or <code>ES6</code>/<code>ES2015</code>; Matches if <a href="#module"><code>module</code></a> is <code>node16</code> or <code>nodenext</code>; <code>Node</code> otherwise.</p>
 </td>
 </tr>
-<tr class="option-description even"><td colspan="3">
+<tr class="option-description odd"><td colspan="3">
 <p>Specify how TypeScript looks up a file from a given module specifier.</p>
 </td></tr>
 
-<tr class='odd' name='moduleSuffixes'>
+<tr class='even' name='moduleSuffixes'>
   <td><code><a href='/tsconfig/#moduleSuffixes'>--moduleSuffixes</a></code></td>
   <td><p><code>list</code></p>
 </td>
   <td>
 </td>
 </tr>
-<tr class="option-description odd"><td colspan="3">
+<tr class="option-description even"><td colspan="3">
 <p>List of file name suffixes to search when resolving a module.</p>
 </td></tr>
 
-<tr class='even' name='newLine'>
+<tr class='odd' name='newLine'>
   <td><code><a href='/tsconfig/#newLine'>--newLine</a></code></td>
   <td><p><code>crlf</code> or <code>lf</code></p>
 </td>
   <td><p><code>lf</code></p>
 </td>
 </tr>
-<tr class="option-description even"><td colspan="3">
+<tr class="option-description odd"><td colspan="3">
 <p>Set the newline character for emitting files.</p>
 </td></tr>
 
+<tr class='even' name='noCheck'>
+  <td><code><a href='/tsconfig/#noCheck'>--noCheck</a></code></td>
+  <td><p><code>boolean</code></p>
+</td>
+  <td><p><code>false</code></p>
+</td>
+</tr>
+<tr class="option-description even"><td colspan="3">
+<p>Disable full type checking (only critical parse and emit errors will be reported).</p>
+</td></tr>
+
 <tr class='odd' name='noEmit'>
   <td><code><a href='/tsconfig/#noEmit'>--noEmit</a></code></td>
   <td><p><code>boolean</code></p>
@@ -1370,7 +1392,7 @@ tsc app.ts util.ts --target esnext --outfile index.js
 
 <tr class='odd' name='target'>
   <td><code><a href='/tsconfig/#target'>--target</a></code></td>
-  <td><p><code>es3</code>, <code>es5</code>, <code>es6</code>/<code>es2015</code>, <code>es2016</code>, <code>es2017</code>, <code>es2018</code>, <code>es2019</code>, <code>es2020</code>, <code>es2021</code>, <code>es2022</code>, or <code>esnext</code></p>
+  <td><p><code>es3</code>, <code>es5</code>, <code>es6</code>/<code>es2015</code>, <code>es2016</code>, <code>es2017</code>, <code>es2018</code>, <code>es2019</code>, <code>es2020</code>, <code>es2021</code>, <code>es2022</code>, <code>es2023</code>, or <code>esnext</code></p>
 </td>
   <td><p><code>ES3</code></p>
 </td>

packages/sandbox/src/compilerOptions.ts

@@ -85,7 +85,7 @@ export const getCompilerOptionsFromParams = (
       let toSet = undefined
       if (val === "true" && playgroundDefaults[key] !== true) {
         toSet = true
-      } else if (val === "false" && playgroundDefaults[key] !== false) {
+      } else if (val === "false" && (playgroundDefaults[key] as any) !== false) { // TODO(jakebailey): remove as any, check undefined above
         toSet = false
       } else if (!isNaN(parseInt(val, 10)) && playgroundDefaults[key] !== parseInt(val, 10)) {
         toSet = parseInt(val, 10)

packages/ts-twoslasher/test/results/cuts_out_unnecessary_code.json

@@ -33,7 +33,7 @@
   ],
   "staticQuickInfos": [
     {
-      "text": "function createLabel<T extends string | number>(idOrName: T): NameOrId<T>",
+      "text": "function createLabel<T extends number | string>(idOrName: T): NameOrId<T>",
       "docs": "",
       "start": 9,
       "length": 11,
@@ -42,7 +42,7 @@
       "targetString": "createLabel"
     },
     {
-      "text": "(type parameter) T in createLabel<T extends string | number>(idOrName: T): NameOrId<T>",
+      "text": "(type parameter) T in createLabel<T extends number | string>(idOrName: T): NameOrId<T>",
       "docs": "",
       "start": 21,
       "length": 1,
@@ -51,7 +51,7 @@
       "targetString": "T"
     },
     {
-      "text": "(parameter) idOrName: T extends string | number",
+      "text": "(parameter) idOrName: T extends number | string",
       "docs": "",
       "start": 48,
       "length": 8,
@@ -60,7 +60,7 @@
       "targetString": "idOrName"
     },
     {
-      "text": "(type parameter) T in createLabel<T extends string | number>(idOrName: T): NameOrId<T>",
+      "text": "(type parameter) T in createLabel<T extends number | string>(idOrName: T): NameOrId<T>",
       "docs": "",
       "start": 58,
       "length": 1,
@@ -69,7 +69,7 @@
       "targetString": "T"
     },
     {
-      "text": "type NameOrId<T extends string | number> = T extends number ? IdLabel : NameLabel",
+      "text": "type NameOrId<T extends number | string> = T extends number ? IdLabel : NameLabel",
       "docs": "",
       "start": 62,
       "length": 8,
@@ -78,7 +78,7 @@
       "targetString": "NameOrId"
     },
     {
-      "text": "(type parameter) T in createLabel<T extends string | number>(idOrName: T): NameOrId<T>",
+      "text": "(type parameter) T in createLabel<T extends number | string>(idOrName: T): NameOrId<T>",
       "docs": "",
       "start": 71,
       "length": 1,
@@ -96,7 +96,7 @@
       "targetString": "a"
     },
     {
-      "text": "function createLabel<\"typescript\">(idOrName: \"typescript\"): NameLabel",
+      "text": "function createLabel<\"typescript\">(idOrName: \"typescript\"): NameOrId<\"typescript\">",
       "docs": "",
       "start": 113,
       "length": 11,
@@ -114,7 +114,7 @@
       "targetString": "b"
     },
     {
-      "text": "function createLabel<2.8>(idOrName: 2.8): IdLabel",
+      "text": "function createLabel<2.8>(idOrName: 2.8): NameOrId<2.8>",
       "docs": "",
       "start": 149,
       "length": 11,
@@ -132,7 +132,7 @@
       "targetString": "c"
     },
     {
-      "text": "function createLabel<\"hello\" | 42>(idOrName: \"hello\" | 42): IdLabel | NameLabel",
+      "text": "function createLabel<\"hello\" | 42>(idOrName: \"hello\" | 42): NameOrId<\"hello\" | 42>",
       "docs": "",
       "start": 176,
       "length": 11,

packages/ts-twoslasher/test/results/errorsWithGenerics.json

@@ -14,7 +14,7 @@
       "targetString": "a"
     },
     {
-      "text": "type Record<K extends string | number | symbol, T> = { [P in K]: T; }",
+      "text": "type Record<K extends keyof any, T> = { [P in K]: T; }",
       "docs": "Construct a type with a set of properties K of type T",
       "start": 9,
       "length": 6,
@@ -32,7 +32,7 @@
       "targetString": "b"
     },
     {
-      "text": "type Record<K extends string | number | symbol, T> = { [P in K]: T; }",
+      "text": "type Record<K extends keyof any, T> = { [P in K]: T; }",
       "docs": "Construct a type with a set of properties K of type T",
       "start": 44,
       "length": 6,

packages/ts-twoslasher/test/results/tests/cut_file_errors.json

@@ -14,7 +14,7 @@
       "targetString": "NetworkState"
     },
     {
-      "text": "type NetworkLoadingState = {\n    state: 'loading';\n}",
+      "text": "type NetworkLoadingState = {\n    state: \"loading\";\n}",
       "docs": "",
       "start": 20,
       "length": 19,
@@ -23,7 +23,7 @@
       "targetString": "NetworkLoadingState"
     },
     {
-      "text": "type NetworkFailedState = {\n    state: 'failed';\n    code: number;\n}",
+      "text": "type NetworkFailedState = {\n    state: \"failed\";\n    code: number;\n}",
       "docs": "",
       "start": 42,
       "length": 18,
@@ -32,7 +32,7 @@
       "targetString": "NetworkFailedState"
     },
     {
-      "text": "type NetworkSuccessState = {\n    state: 'success';\n    response: {\n        title: string;\n        duration: number;\n        summary: string;\n    };\n}",
+      "text": "type NetworkSuccessState = {\n    state: \"success\";\n    response: {\n        title: string;\n        duration: number;\n        summary: string;\n    };\n}",
       "docs": "",
       "start": 63,
       "length": 19,