bug: .transform() incorrectly changes ZodSchema

the following snippet fails with error below. Adding a .transform method to a zod schema will alter the input type, when it should be only be altering the output type. The output type seems to correctly be just number.

import { z } from 'https://deno.land/x/zod@v3.2/mod.ts'

const percentage_parser = z.string().regex(/\d+%/).transform(str => parseFloat(str.slice(0, -1)) / 100)

function get_percentage(input: z.infer<typeof percentage_parser>) {
  return percentage_parser.parse(input)
}

const result: number = get_percentage('100%')

error: TS2345 [ERROR]: Argument of type 'string' is not assignable to parameter of type 'number'.
const result: number = get_percentage('100%')

here is a screenshot showing the full zod type declaration:

[colinhacks]

@andykais You can use z.input instead of z.infer. This works for arbitrarily complex schemas and disregards transforms at all levels of depth in your schema. This behavior is documented here: https://github.com/colinhacks/zod#what-about-transforms.

[andykais]

But if you know the input type, you should use it instead of infer it. If you know it’s a string and you want a number from it, you don’t need zod at all to do that.

That’s not exactly true. E.g. I want to input a number that is less than 5, I want a string but it should match a particular regex. There are tons of refinements that can be made which zod makes it easy to declare but that typescript cannot sufficiently express