What does this type-level programming pattern produce? type LastOf = UnionToIntersection T : never> extends () => infer R ? R : never;

Question

TypeScript Professional — Hard

What does this type-level programming pattern produce? type LastOf = UnionToIntersection T : never> extends () => infer R ? R : never;

Accepted Answer

The type-level programming pattern shown extracts the last member of a union type by converting the union to an intersection of function types and inferring the return type. This allows for precise extraction of the final type within the union.