TestCase: z.infer<typeof TestCase>