This test case should go into `files/run`, since we're not only interested in the fact that it compiles without errors. In addition, the test should lead to a stack overflow if the bug fix is not applied.