In my previous experience of "Svelte with Typescript", it merely remove the typings, no type checking at all.

Try in below example, it print out '12' without type related error message.

<script lang="ts"> let a: number = '1'; let b: number = 2; </script>

<p> c = {a + b} </p>