Allow writing TypeScript in Script tags with @ts-check

Be able to write TypeScript in Script Tags inside .html files. (I'm not asking for compilation support for .html files only allow the usage and check of TS inside .html files Script Tag)

When we do this: we get the error Type annotations can only be used in TypeScript files. when hovering over the Type.

<script>
  let foo: number = 0;
  foo = "hello";
</script>

//@ts-check works and gives me checks and squiggly lines but still gets not rid of the error above.
A Solution would be if this would work.

<script>
 //@ts-check 
  import { mod } from "./this/should/give/autocomplete"
  let foo: number = 0;
  foo = "hello";

  mod();
</script>

The ideal would be if //@ts-check allows the use of TypeScript inside Script Tags.

The issue names no files or tests. Start by tracing how the HTML language service handles script tags and the //@ts-check directive; done means TypeScript annotations, type diagnostics, imports, and autocomplete work inside HTML script tags without adding HTML compilation support.