[TSX] infer props and params from getStaticPaths

[natemoo-re]

Changes

• This PR is relevant for consumers of our TSX output (namely language tools)
• Adds new generated output if an Astro component has a getStaticPaths export
• Astro.props and Astro.params can be inferred from the return value of getStaticPaths
  • Existing Props definitions take precedence over inferred definitions, so this should be compatible with the existing recommended pattern below:

  type Params = InferGetStaticParamsType<typeof getStaticPaths>;
  type Props = InferGetStaticPropsType<typeof getStaticPaths>;

• Ideally we'd also be able to inject a satisfies clause for getStaticPaths itself, but that can be left for a follow-up PR

Testing

Tests added

Docs

We should update the docs when this lands upstream in the language tools!

[changeset-bot]

🦋 Changeset detected

Latest commit: f6d9524

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

This PR includes changesets to release 1 package

Name	Type
@astrojs/compiler	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

[Princesseuh]

Awesome work! People will be very happy about this.