Type 'TimeRanges' is missing the following properties from type 'SvelteMediaTimeRange[]'

[chtibizoux]

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