Type inference with conditional for array fails for literal

TypeScript Version: 3.9.2

Search Terms: typescript infer array type conditional literal

Code

function func<T>(opt: {
  value: T;
  arrayValue: T extends any[] ? T : T[];
}) {}

func({
  value: [1, 2, 3],
  arrayValue: [1, 2, 3],
}); // throws error 

const obj = {
  value: [1, 2, 3],
  arrayValue: [1, 2, 3],
};

func(obj);

Expected behavior:
No error is thrown.

Actual behavior:
The commented function call throws the following error:

Type 'number[]' is not assignable to type 'number'.(2322)
input.ts(2, 3): The expected type comes from property 'value' which is declared here on type '{ value: number; arrayValue: number[]; }'

Playground Link: https://www.typescriptlang.org/play/#code/GYVwdgxgLglg9mABKSAeAKgPgBRwA5QBciA3gFCKIBuAhgDYgCmx6A3BYjQE5c0CeANXpMWiRgA8ojMABMAzpzB8A2gF1EAfkTpELNewC+ASlIGyZFBGzlKtBs0TKAjABpEAJjcBmVS47deQWEHZzdPRB8-Y3MIBDkoRDgAIwArRABeUg47EUdXD29ffx5+IXtiUIKIooN2C3ArZJSjdiA

Related Issues:

Bắt đầu bằng cách tái hiện ví dụ generic về conditional-type trong TypeScript Playground được liên kết và so sánh lời gọi trực tiếp với lời gọi sử dụng obj. Theo dõi quá trình suy luận kiểu và xử lý conditional-type liên quan; công việc được xem là hoàn tất khi lời gọi trực tiếp không tạo ra lỗi nào nhưng vẫn giữ nguyên các kiểu mảng được suy luận như mong đợi, cùng với một bài kiểm thử hồi quy cho ví dụ này.