Describe the bug
VSCode don't use Svelte type but default html type and throw :
Type 'TimeRanges' is missing the following properties from type 'SvelteMediaTimeRange[]': pop, push, concat, join, and 34 more.
Reproduction
<script lang="ts">
import type { SvelteMediaTimeRange } from "svelte/elements";
let buffered: SvelteMediaTimeRange[] | undefined;
</script>
<!-- svelte-ignore a11y-media-has-caption -->
<video bind:buffered />
Expected behaviour
No typing error
System Info
- OS: Windows
- IDE: VSCode
- Svelte for VS Code: v108.2.1
- svelte-check: 3.6.0
- typescript: 5.0.0
Describe the bug
VSCode don't use Svelte type but default html type and throw :
Type 'TimeRanges' is missing the following properties from type 'SvelteMediaTimeRange[]': pop, push, concat, join, and 34 more.Reproduction
Expected behaviour
No typing error
System Info