[Feature request] Add Enum literals to autocomplete when type-appropriate

[nuiva]

I'd like the autocomplete to infer from types that I'm about to write an Enum value and immediately suggest the possible literals in the Enum class. Consider the following example:

In this example, I want the autocomplete to include ENUM_VAL_A and ENUM_VAL_B (which expand to TestEnum.ENUM_VAL_A) and I think these literals should be at the top of the list. The current behaviour is that I must type TestEnum (which isn't even guaranteed to be at the top of the suggestion list) before ENUM_VAL_A and B are included in the autocomplete suggestions.

Similarly, if I define

def f(x: TestEnum) -> None:
    pass

then the literals should be suggested for the parameters of f.

[jakebailey]

Marking as a feature request; this would be a "deep completion", as the thing you'd need to suggest is the full TestEnum.ENUM_VAL_A expression (and we only go one level down).

Or, the first type-aware completion where we suggest things first if they would type check.

[judej]

Moving this issue to discussion as an enhancement request for comments and upvotes.