Type inference with conditional for array fails for literal

<!-- 🚨 STOP 🚨 STOP 🚨 STOP 🚨 Half of all issues filed here are duplicates, answered in the FAQ, or not appropriate for the bug tracker. Even if you think you've found a *bug*, please read the FAQ first, especially the Common "Bugs" That Aren't Bugs section! Please help us by doing the following steps before logging an issue: * Search: https://github.com/Microsoft/TypeScript/search?type=Issues * Read the FAQ: https://github.com/Microsoft/TypeScript/wiki/FAQ Please fill in the *entire* template below. --> <!-- Please try to reproduce the issue with the latest published version. It may have already been fixed. For npm: `typescript@next` This is also the 'Nightly' version in the playground: http://www.typescriptlang.org/play/?ts=Nightly --> **TypeScript Version:** 3.9.2 <!-- Search terms you tried before logging this (so others can find this issue more easily) --> **Search Terms:** typescript infer array type conditional literal **Code** ```ts 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:** <!-- Did you find other bugs that looked similar? -->