Type Alias WithVariantIncluded<TEntity, TResult, Variant, Rel>

WithVariantIncluded: TResult extends infer U
    ? U extends Record<string, unknown>
        ? Extract<U, Record<string, Variant>> extends never
            ? U
            : Extract<U, Record<string, Variant>> extends U
                ? U & { [P in Rel]: ResolvedRel<EntityRelations<TEntity>[P]> }
                :
                    | Exclude<U, Extract<U, Record<string, Variant>>>
                    | Extract<U, Record<string, Variant>> & {
                        [P in Rel]: ResolvedRel<EntityRelations<(...)>[P]>
                    }
        : U
    : never