bump typescript

[Rich-Harris]

#7654. We also need to

• update the TS conversion for the docs to use satisfies (in this PR, or in a follow-up?)
• use satisfies in the template

Please don't delete this checklist! Before submitting the PR, please make sure you do the following:

• It's really useful if your PR references an issue where it is discussed ahead of time. In many cases, features are absent for a reason. For large changes, please create an RFC: https://github.com/sveltejs/rfcs
• This message body should clearly illustrate what problems it solves.
• Ideally, include a test that fails without this PR but passes with it.

Tests

• Run the tests with pnpm test and lint the project with pnpm lint and pnpm check

Changesets

• If your PR makes a change that should be noted in one or more packages' changelogs, generate a changeset by running pnpm changeset and following the prompts. All changesets should be patch until SvelteKit 1.0

[changeset-bot]

🦋 Changeset detected

Latest commit: d7c8a6f

The changes in this PR will be included in the next version bump.

This PR includes changesets to release 1 package

Name	Type
create-svelte	Patch

Not sure what this means? Click here to learn what changesets are.

Click here if you're a maintainer who wants to add another changeset to this PR

[Rich-Harris]

Couple of blockers:

• adapter-vercel no longer typechecks. wtf?
• Sucrase, which we use to strip TypeScript out of the template source files, does not know how to deal with the satisfies operator

[benmccann]

I filed an issue in the sucrase repo: alangpierce/sucrase#763. It's now been addressed

[dummdidumm]

Re "use satisfies in the docs" - I would maybe wait 1-2 months before doing that, so people can familiarize themselves more with that. Also, VS Code is likely not on TS 4.9 yet so everyone not turning on "use TS workspace version" would see type errors and be confused.

[dummdidumm]

Another blocker: prettier doesn't support that syntax yet. ESLint likely, too?

[dummdidumm]

Aside: It would be great if this microsoft/TypeScript#51086 was implemented, too - then JSDoc could also use that, and we don't need to create proxy types anymore for both JS/TS when people use it.

[dummdidumm]

Bummer, function foo () {} satisfies Bar is invalid syntax, so we need to keep using const foo = (() => {}) satisfies Bar instead. Opened #51556

[benmccann]

Prettier was updated in the 2.8 release (prettier/prettier#13792), which master now uses

@typescript-eslint/parser was addressed in 5.45.0 (typescript-eslint/typescript-eslint#5688). This repo doesn't use that project, but users are now unblocked

[benmccann]

don't need to duplicate the types here. just declare the function as a const and then export it later

[benmccann]

master is now using TypeScript 4.9, so most of this PR is obsolete. I'm going to close it in favor of #7861, which extracts out the parts that haven't already been committed to master