GeoJSONSchema.parse doesn't narrow types

[GarrisonBates]

I'm using zod-geojson as detailed in the readme:

const schema = GeoJSONSchema.parse({
    type: 'Feature',
    geometry: {
      type: 'Point',
      coordinates: [0, 0],
    },
    properties: {
      name: 'Null Island',
    },
  })

But for some reason, schema is typed as any. It's also worth noting that I can call GeoJSONSchema.anything() without getting any type errors. However, GeoJSONSchema appears to be typed correctly (i.e. it isn't any).

Is this a known issue? I anticipated that GeoJSONSchema.parse() would automatically type narrow the same way Zod does.

Thanks for the help!

[reilem]

Thanks for bringing this up! It looks like the types might still be too complex and that there is some sort of limit being reched by TS or Zod. I will look into it after the holidays 😄

[reilem]

Hi @GarrisonBates after some investigating I cannot seem to replicate your issue. I have added some new tests to check this behaviour and also tried to reproduce the issue in a project where I include zod-geojson as a dependency. Here are some screenshots from that project:

These errors show up during compilation and in the IDE. I am using plain tsc to compile and the TypeScript language service built-in to Webstorm:

src/index.ts:31:15 - error TS2339: Property 'anything' does not exist on type 'ZodUnion<[GeoJSONGeometryGenericSchemaType<[number, number] | [number, number, number]>, ZodEffects<ZodObject<GeoJSONBaseSchemaInnerType<[number, number] | [number, number, number]> & { ...; }, "passthrough", ZodTypeAny, objectOutputType<...>, objectInputType<...>>, objectOutputType<...>, objectInputType<...>>, ZodE...'.

31 GeoJSONSchema.anything();

src/index.ts:44:3 - error TS2322: Type 'number[]' is not assignable to type 'undefined'.

44   goodResult.geometries = [4, 5];
     ~~~~~~~~~~~~~~~~~~~~~

In which environment are you running, what version of typescript, and what method are you using to inspect your typescript errors (command line, IDE, etc.)?