Am 01.04.2021 um 10:56 schrieb Benjamin Eberlei:
I voted no, because i think this should at the maximum be an attribute.
This RFC is using the declaration of the return type, to specify that it
never returns. As such noreturn or never is a keyword a long the lines of
public or final, but it is not a return type.
I don't think the argument for potential optimizations in Opcache to
eliminate dead code or allow IDEs to hint at dead code are valuable enough
to justify this change.
Following Benjamin's argument, I have changed my vote to no.