I mean the compiler generates the similar bytecode for this expression when using different types. And it seems to me you want the compiler to be smarter than it should be.