Using svelte:element for a and button doesn't recognize disabled

[frederikhors]

Describe the bug

I do not understand what is Typescript complaining about for the disabled prop:

<script lang="ts">
	export let href: string | undefined = undefined;
</script>

<svelte:element
	this={href ? 'a' : 'button'}
	disabled={href ? undefined : true}
>
	Hello!
</svelte:element>

Argument of type '{ type: string | undefined; disabled: true | undefined; form: string | undefined; href: string | undefined; target: string | undefined; rel: string | undefined; id: string | undefined; ... 5 more ...; "on:focus": undefined; }' is not assignable to parameter of type 'HTMLProps<"a", HTMLAttributes<any>> | HTMLProps<"button", HTMLAttributes<any>>'.
  Object literal may only specify known properties, and '"disabled"' does not exist in type 'HTMLProps<"a", HTMLAttributes<any>>'.ts(2345)

System Info

"typescript": "5.0.4"

Which package is the issue about?

svelte-check

[jasonlyu123]

I can't reproduce this with the latest version. Can you provide a reproduction repository?

[frederikhors]

Is there a REPL for Svelte & Typescript?

[jasonlyu123]

No

[dummdidumm]

Closing due to inactivity and lack of reproduction