PHP with uopz never-returning function must not implicitly return i have an extremely simple function that uses the never return-type:
