The solution would be then to do autoconversions as appropriate or return an error. The compiler already deals with this issue with the ?: operator. It's a rea

The solution would be then to do autoconversions as appropriate or return an error. The compiler already deals with this issue with the ?: operator. It's a readability and maintenance problem there, too. It'd be easy to do; the language designers chose not to.