WIP (alpha): expose component events/slots, emit value+type default export

[baseballyama]

Warning

🚧 Work In Progress — Alpha. Do not merge.
Alpha-stage work authored by Claude Code (AI), published as a draft for early review only. Behavior/API may change or be dropped.

Note

Stacked on #909 (→ #908 → #907 → #906 → #905). Review the parents first.

What

PR 6 of 6 (final) — events / slots, plus a regression fix.

The regression this fixes

Investigating the consumer side showed the parser references an imported component's legacy events via import('svelte').ComponentEvents<Foo> — using Foo as a type. But PRs #905–#909 emitted a value-only export default <expr>, so Foo had no type meaning and ComponentEvents<Foo> failed with:

TS2749: 'Foo' refers to a value, but is being used as a type here.

(For bind: and slots, the consumer generates no component-type reference, so those need nothing on the producer side. Runes event props like onclick already flow through ComponentProps.)

The fix

Emit the default export as a value + type pair, so Foo works as both:

declare const $c: import('svelte').SvelteComponent<Props, Events, Slots>;
type $c = import('svelte').SvelteComponent<Props, Events, Slots>;
export { $c as default };

• typeof Foo → the value (SvelteComponent<…>) → ComponentProps<typeof Foo> ✓ (props unchanged from WIP (alpha): emit component default export in virtual code for importer prop types #905–WIP (alpha): cover generic component prop types for importers #909)
• Foo as a type → ComponentEvents<Foo> / ComponentProps<Foo> ✓ (no more TS2749)
• Events/Slots come from legacy $$Events/$$Slots when declared, else permissive Record<string, any> (no spurious on:/slot errors).
• All three synthetic statements are removed again in the restore pass; the AST/scope-invariance suite (80 fixtures) confirms it's byte-perfect.

This redesigns the emitted form from Component<Props> to the SvelteComponent value/type pair, so the #905–#909 string-assertion tests are updated here to match (behavior/E2E tests are unchanged).

Verified

• Full suite green (8680 passing), incl. AST/scope invariance.
• New unit tests: $$Events/$$Slots wired in; export carries both value and type.
• New end-to-end tsc tests: legacy $$Events event detail resolves (CustomEvent<number>); Foo usable as a type with no TS2749 even without $$Events.

Series (complete)

• WIP (alpha): emit component default export in virtual code for importer prop types #905 runes $props() · WIP (alpha): synthesize legacy export let prop types in virtual code #906 export let · WIP (alpha): use legacy $$Props interface/type as prop types in virtual code #907 $$Props · WIP (alpha): infer best-effort props type from un-annotated $props() #908 un-annotated inference · WIP (alpha): cover generic component prop types for importers #909 generics · this events/slots + value/type export

🤖 Generated with Claude Code

[changeset-bot]

🦋 Changeset detected

Latest commit: 41fa3ef

The changes in this PR will be included in the next version bump.

This PR includes changesets to release 1 package

Name	Type
svelte-eslint-parser	Minor

Not sure what this means? Click here to learn what changesets are.

Click here if you're a maintainer who wants to add another changeset to this PR