How to type a prop in svelte 5 (Typescript)?

[rgeditz]

I have the following setup:

A <Form> component that takes various props including a SubmitFunction

<script lang="ts">
	import type { SubmitFunction } from '@sveltejs/kit' // Where to put the type?
	import { enhance } from '$app/forms'

	let {
		children,
		actionUrl = '',
		submitFunction = () => {
			return async ({ update }) => {
				await update()
			}
		},
	} = $props()
</script>

<form method="post" action={actionUrl} use:enhance={submitFunction}>
	{@render children()}
</form>

Now I get the following TS error when passing the function to use:enhance: Argument of type 'unknown' is not assignable to parameter of type 'SubmitFunction<Record<string, unknown> | undefined, Record<string, unknown> | undefined> | undefined'

My question is how to type the submitFunction prop without having to add types to all the other props (since they can be inferred). Any suggestions are appreciated.

(The children prop also seems to be not typed correctly)

[brunnerh]

without having to add types to all the other props (since they can be inferred)

They cannot be inferred because this is the left side of an assignment, the only thing that can be inferred is the type of the default values, which do not necessarily have anything to do with the values provided by whatever is on the right side of the assignment.

The resulting type of the variables will be an intersection of both.

I do not know of any way to avoid typing everything, the only minor optimization would be adding a utility type for { children: Snippet }.

So it's either of:

let { ... }: {
  children: Snippet,
  actionUrl?: string,
  submitFunction?: SubmitFunction,
} = $props();

let { ... }: HasChildren & {
  actionUrl?: string,
  submitFunction?: SubmitFunction,
} = $props();

[brunnerh]

Related:

• Add a (singular) $prop rune #9241

[rgeditz]

Thanks for the explanation. I guess that's how it's done now. Could be nicer but also not too bad.

I liked the idea from the linked issue to create a separate type and use that: $props<Props>() Looks cleaner in my opinion