IntelliSense should suggest all possible object properties for overloaded function

[leoriviera]

Bug Report

🔎 Search Terms

union of types on function overload
function overloading not showing arguments in object with intellisense

🕗 Version & Regression Information

• This is the behavior in every version I tried, including 4.5.4 and the nightly, and I reviewed the FAQ for entries about function overloading.

⏯ Playground Link

Playground link with relevant code

💻 Code

type X = {
    a: number;
};

type Y = { 
    a: number;
    b: string;
};

function f(args: X): void;
function f(args: Y): void;

function f(args: X | Y){}

f({
    a: 7,
    |
})

Trigger completions at |

🙁 Actual behavior

No further completion suggestions are returned.

🙂 Expected behavior

A suggestion for both b should be returned as that is a valid option if args is of type Y.

[MartinJohns]

Related, or perhaps even a duplicate: #47227

You don't get any further completions because you already have a valid object.

[leoriviera]

Related, or perhaps even a duplicate: #47227

You don't get any further completions because you already have a valid object.

I did think that would be the case, but it does feel like a bit of an odd behaviour to have as you could have another valid object with the b as a property.

[RyanCavanaugh]

This is the intended behavior (as in, it used to work this way and now it doesn't) - people didn't like when "extra" properties showed up in the list, especially in cases where there was an obvious discriminant argument earlier in the argument list.

[typescript-bot]

This issue has been marked 'Working as Intended' and has seen no recent activity. It has been automatically closed for house-keeping purposes.