from typing import *

def f(x: type[object]):
    if x in (int, float):
        reveal_type(x) # reveals type[object] in Pyrefly, but `type[int] | type[float]` in Pyright