The Leaflet type definitions enabled Astro Check and TypeScript to validate the map API usage and helped surface the incompatible GeoJSON object shape before delivery.
- What worked
- The definitions covered the Leaflet APIs used by the component and participated in a successful final type check.
- What got in the way
- Their strict GeoJSON input signature required the implementation to clarify the feature collection type, adding a small amount of integration work.