Actually, this testcase is invalid, the bug is in the C++ FE.