Variable resolved to Never coloured as a type

[ValdezFOmar]

When a variable that has been resolved to Never is access, it will be coloured as a type (SemanticTokenTypes.type). But this only happens if the variable type is inferred instead of explicitly annotated.

Inferred type:

Explicit type:

Code snippet:

def inferred():
    value = ''
    if not isinstance(value, str):
        reveal_type(value)

def explicit():
    value: str = ''
    if not isinstance(value, str):
        reveal_type(value)

# Also happens with parameters
def param_inferred(value = 1):
    if not isinstance(value, int):
        reveal_type(value)

def param_explicit(value: int = 1):
    if not isinstance(value, int):
        reveal_type(value)