Type Alias AssertionImplPart<Part>

AssertionImplPart: Part extends PhraseLiteral
| PhraseLiteralChoice
    ? never
    : Part extends z.ZodPromise
        ? Promise<z.infer<Part>>
        : Part extends z.ZodType
            ? z.infer<Part>
            : Part extends StandardSchemaV1 ? InferOutput<Part> : never

Maps an AssertionPart to a parameter to an AssertionImpl.

This omits Phrase parts, which are not received by the implementation.

Type Parameters

Part extends AssertionPart