auto-suggest a constant holding a literal value of an expected literal type

[zpdDG4gta8XKpMCd]

type X: 'x';
const x: X = 'x';
type Y: 'y';
const y: Y = 'y';
type Z = X | Y;
declare const z: Z;
switch (z) {
    case 
      // ^ caret is here
}

after pressing Ctrl + Space it would be nice to see these suggestions: x, y, 'x', 'y'

[mhegazy]

"x" and "y" should already be in the list, see:

x and y (and z) is a bit of a stretch. to show them in the completion list the compiler will need to resolve the type of every name visible in the current scope, and compare it to the type from the contextual type at this location. that is a lot of work, and we have a short window to show completions (<= 200ms).

[typescript-bot]

Automatically closing this issue for housekeeping purposes. The issue labels indicate that it is unactionable at the moment or has already been addressed.