I’ve seen this same thing happen with Python’s type hints. Turns out giving an “escape hatch” type for devs who have no clue what the type actually is leads to a lot of useless type hints.

It’s all bits in registers at the end of the day, and they all have the only type a bit can have