from typing import Never

foo: Never
bar = Never

def baz() -> Never:
    ...

def asdf(foo: Never):
    value: Never = foo
    value

Type = Never
value: Type = 1

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

type Baz = Never
bat: Baz
