This was a type confusion bug in generated JIT code, not in C++ code.