Use generics for types where possible

[Cucumberrbob]

Describe what feature you'd like. Pseudo-code, mockups, or screenshots of similar solutions are encouraged!

Initially thought of this for the Autocomplete component, but after discussion on Discord, it seems this may be a more sweeping change.

Svelte has support for generic types. We can constrain them similar to <T extends S> in a generic:

type GenericType = $$Generic<{value: string}>;
export let selected: GenericType | undefined;

Now if we had a list of items of type B = { value: string; foo: Bar }, and the user sets bind:selected on the parent, the type of selected would be B, instead of just {value: string}

What type of pull request would this be?

Enhancement

Any links to similar examples or other references we should review?

No response

[endigo9740]

@ryceg I wanted to bring your attention to this as there may some overlap with what you're working through now.

[HugeLetters]

Hi, may I work on this enhancement by any chance? I've stumbled upon this issue for Autocomplete component and I think I got it working with generics in like 2 minutes so I would love to issue a PR - can't say I would be capable of doing the same for other components tho but I may give it a try if you would like to.

[endigo9740]

@HugeLetters of course, we always encourage help with outstanding issues like this. The only thing I'd encourage is not the keep the scope limited to only the Autocomplete component. I believe this issue for Modals is very much related:

• Code completion in ModalComponent #1813

Likewise, there may be other portions of Skeleton that could benefit from the user of generics as well.

Unfortunately I haven't had time personally to audit and find all locations where this might be relevant. So perhaps that would be a great place to start?