Type Alias AssertionImplParts<Parts>

AssertionImplParts: Parts extends readonly [
    infer First extends AssertionPart,
    ...(infer Rest extends readonly AssertionPart[]),
]
    ? readonly [AssertionImplPart<First>, ...AssertionImplParts<Rest>]
    : readonly []

Maps AssertionParts to their corresponding AssertionImplPart.

Type Parameters

Parts extends readonly AssertionPart[]