Match type narrowing between tooltip and hover

[cdce8p]

Environment data

• Language Server version: 2020.11.0
• OS and version: macOS
• Python version: 3.9

Actual behaviour

The type information differs between tooltip and hover. This issue might be linked to #562.

Expected/Suggested behaviour

The hover box should display the narrowed type.

Code Snippet / Additional information

from __future__ import annotations
from random import random

var: int | None = 42 if random() > 0.5 else None
if isinstance(var, int):
    var

[erictraut]

The type displayed in the completion suggestion is always the declared type whereas the hover text shows the narrowed type. This is the intended behavior.

[cdce8p]

Would it be possible or an idea to show the narrowed type as well? I for one don't usually use hover while writing and I could imaging others doing the same. Especially since the completion list does take the narrowed type into account (which is what I would expect).

The same example just with var: int | str:

[jakebailey]

Look at old issues; interestingly TS has chosen to do something different here.

[judej]

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