superRefine() call on the object to do additional validation. superRefine() to another validation function that accepts (val, ctx) and performs the validations/adds issues there (see below example.z.infer type of the schema to provide the type of the val parameter I get a circular dependency error.