Type Alias SpecReq<TSpec>

SpecReq: UnionToIntersection<
    {
        [K in keyof TSpec]: TSpec[K] extends CtxRef<infer TPath>
            ? CtxRefReq<TPath>
            : never
    }[keyof TSpec],
> extends infer TReq
    ? [TReq] extends [never] ? {} : TReq
    : never