Fixed codegen while with NoReturn type