tests/regressions/should_compile/terminating_bodies