This repository has been archived by the owner on Apr 23, 2024. It is now read-only.

`never` type #7

Closed

Tracked by

i582 opened this issue Jul 31, 2021 · 0 comments · Fixed by #8

Closed

Tracked by

`never` type #7

i582 opened this issue Jul 31, 2021 · 0 comments · Fixed by #8

Labels

PHP 8.1

Contributor

i582 commented Jul 31, 2021 •

edited

Loading

RFC: https://wiki.php.net/rfc/noreturn_type

Example:

function f(): never {}

i582 mentioned this issue

Closed

7 tasks

i582 added the PHP 8.1 label

i582 mentioned this issue

php8.1: added never type #8

Merged

i582 closed this as completed in #8

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.