compiler: Correct types when type conversion makes backend call.