This is to ensure that the generated code is still compilable by the running compiler, and see whether we can read the things in there properly. See issue #1580.
