Type Alias GetResolvedTypesWithParams<D, Options>

GetResolvedTypesWithParams: {
    [K in keyof D]: D[K] extends AnnotationWithCheck<infer U, infer O>
        ? GetValidTypeParamsWithOptions<U, O>
        : D[K]
}