Bump web-tree-sitter from 0.20.8 to 0.25.3 · model-checking/kani-vscode-extension@d00456f

Cannot find name 'EmscriptenModule'.

Cannot use namespace 'Parser' as a type.

Property 'init' does not exist on type 'typeof import("web-tree-sitter")'.

This expression is not constructable.

Process completed with exit code 2.

Check TS linting: src/ui/sourceCodeParser.ts#L7

Using exported name 'Parser' as identifier for default import

Check TS linting: src/ui/sourceCodeParser.ts#L16

Caution: `Parser` also has a named export `Language`. Check if you meant to write `import {Language} from 'web-tree-sitter'` instead

Provide feedback