from typing import TypeIs, reveal_type

class A: ...

def f(x) -> TypeIs[A]:
    return True

class B: ...

def g(b: B):
    if f(b):
        reveal_type(b) # pyrefly incorrectly reveals Never