What’s with the slut shaming? I thought we liked sluts.

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.