Better intellisense for unions of tuple types

未指定实现文件或测试。使用所述的 TypeScript 版本在 VS Code 中重现 tuple-union 示例，然后确定涉及的 completion entry point；完成的标准是，包含 "A" 的数组在其下一个元素处只建议 "B"，同时保留现有的有效性检查。

VSCode - Version 1.45.1
Typescript - Version 3.8.3

Search Terms

intellisense tuple

Suggestion

Have the suggestions of unions of tuple types only suggest valid things

Use Cases

I have a function which takes a 'path' to a property in a fixed object, say the object is like { a: { b: 1 } }, allowed paths are ["a"], or ["a", "b"].

I have some type which generates for me the union of allowed tuples, which is to be the type of the 'path'.

The fixed object the function takes paths in is very large and I don't want to have to remember the names of things, when I use the union, the intellisense correctly identifies if a path is invalid, but when using ctrl + space to get the suggestions, it suggests strings which if used are immediately afterwards recognised as invalid.

Examples

Consider a type like

type X = ["A"] | ["A", "B"]

Then if I write something like const x: X = [], when pressing ctrl + space in the array I would like to just be suggested "A" (in fact this is already the behaviour), after filling in "A", if I try to add another element it would just suggest "B", not "A", "B"

Checklist

My suggestion meets these guidelines:

• [x ] This wouldn't be a breaking change in existing TypeScript/JavaScript code
• [x ] This wouldn't change the runtime behavior of existing JavaScript code
• [x ] This could be implemented without emitting different JS based on the types of the expressions
• [x ] This isn't a runtime feature (e.g. library functionality, non-ECMAScript syntax with JavaScript output, etc.)
• [x ] This feature would agree with the rest of TypeScript's Design Goals.