consider this case for the negative case: ``` def is_zero(x: int | None) -> TypeGuard[int]: return x == 0 def foo(x: int | None) -> None: if is_zero(x): print("got zero") else: reveal_type(x) # int | None ```
when i try to import TypeGuard mypy tells me that its not a valid type. I tried importing it from the typing module and the typing_extensions module and I still get the same error.
you'll need a sufficiently new version of mypy (and if you're importing it from `typing` you'll need to make sure you're targetting a new enough python version)
If I'm correct, object would mean a nondescript input param which you would have to narrow down in the function body, whereas Any is an escape hatch to tell the type checker that all bets are off, do not type check this, or anything that this touches