Bug: Using the auto-subscription syntax for a store that was defined in the context="module" script yields an error.

Take a look at the Test component in the following REPL: https://svelte.dev/repl/4859affa8c1c436783a9d9a6d537c903?version=3

A store is created in a context="module" script tag, and it’s being used with a dollar sign $ prepended to it, in the markup. It works as expected. However, the very same code in VS Code shows an error:

Note that it works and compiles properly, in other words, the compiler gives no errors; so it must be the Svelte VS Code extension that’s the problem, basically it doesn’t properly recognize any store that’s been defined in the context="module" script, and as a result causing a red squiggly to appear under $count here.

Also, it’s only when the lang="ts" attribute is present on the <script> tag that the red squiggly appears.

I’d appreciate it if this can be fixed soon.

[dummdidumm]

Using the auto-subscription syntax for a store that was defined in the context=“module” script should no longer yield an error as of VS Code extension 104.6.0 / svelte-check 1.2.1

[fivemru]

1. Faced the same problem. Error: Cannot find name '$username'. Did you mean 'username'? (ts) when username created in context="module".

1. There is one more error when running svelte-check:

> svelte-check --ignore src/node_modules/@sapper

/src/routes/my/test.svelte:2:2
Hint: '$username' is declared but its value is never read. (ts)
<script lang="ts">
  import { username } from './_store';

Code:

Version:

    "svelte": "^3.35.0",
    "svelte-check": "^1.2.0",
    "typescript": "^4.2.2"