Recompilation test case for #8247

But seems to be fixed in head already.