Some people wouldn’t know a Nazi if he was sending people to camps without trial, trying to outlaw the political opposition, fomenting a cult of personality, launching coups, oppressing the most vulnerable people, ratcheting up racist attacks, and threatening to attack Denmark.
This relatively new. Only “recently” (last couple decades) was it easy to get type info for a variable where it was used.
The other problem is that if your type is merely an alias, in many languages you can still do
interval_minute = interval_second
without the compiler catching it.