I assume this is pretty rare, but ty sometimes finds real issues that are actually allowed by the spec, like: def foo(a: float) -> str: return a.hex()

I assume this is pretty rare, but ty sometimes finds real issues that are actually allowed by the spec, like: def foo(a: float) -> str: return a.hex() foo(false) is correct according to PEP 484 (when an argument is annotated as having type float, an argument of type int is acceptable) but this will lead to a runtime error. mypy sees no type error here, but ty does.