Suggestion: consolidate generics in union if they match

TypeScript Version: 3.5.2

Search Terms: rxjs startWith generics union consolidate same

Code

declare const create: <T>(
    t: T,
) => {
    startWith: <D>(v1: D) => T | D;
};

// Succeeds
// $ExpectType { foo: number } | { bar: number }
const r1 = create({ foo: 1 }).startWith({ bar: 1 });

// Fails
// $ExpectType { foo: number }
// Actual: { foo: number } | { foo: number }
const r2 = create({ foo: 1 }).startWith({ foo: 1 });

Although the expected/actual types are compatible, it's slightly irritating to deal with a union type T | T instead of a consolidated type T, as it makes type inspection in VS Code much more difficult (especially when the types are large or deeply nested).

Real world use case: https://github.com/ReactiveX/rxjs/issues/4866

Bắt đầu bằng cách tái tạo ví dụ create/startWith được cung cấp với TypeScript 3.5.2 và kiểm tra các kiểu được suy luận cho r1 và r2. Điều tra đường dẫn kiểm tra kiểu chịu trách nhiệm cho các union của các kết quả generic giống hệt nhau; hoàn thành khi union tương ứng được biểu diễn dưới dạng một kiểu duy nhất mà không thay đổi trường hợp union khác biệt.