I write a lot of firmware in C. I find it's implicit conversions to be broken and tediously annoying at this point. I think it's impossible problem because you

I write a lot of firmware in C. I find it's implicit conversions to be broken and tediously annoying at this point. I think it's impossible problem because you can't capture semantics of what the programmer is trying to do without extra input. I suspect part of the problem is conversions between types is complex and annoying to implement in a compiled language. With the added bonus that's only something the end users care about not the compiler writer. Hence in the wild this stuff tends to be broken or inadequate. Like in C it's way broken. In Java it's way inadequate.