No it’s not. The typing system should use the most specific type available, and it’s your responsability to broaden it if needed. That’s how it works in all sta

No it’s not. The typing system should use the most specific type available, and it’s your responsability to broaden it if needed. That’s how it works in all statically-typed languages.