Hey, Ondřej Mirtes and I present an RFC for the noreturn type: https://wiki.php.net/rfc/noreturn_type
The feature already exists in Hack (the primary inspiration) and is currently supported by our static analysis tools inside docblocks, and we feel there's a good argument for it to be supported by PHP itself. Thanks, Matt & Ondřej
