[RFC] noreturn type

From:	Matthew Brown	Date:	Wed, 10 Mar 2021 18:06:40 +0000
Subject:	[RFC] noreturn type
Groups:	php.internals
Request:	Send a blank email to internals+get-113442@lists.php.net to get a copy of this message

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


   

Thread (37 messages)

• Matthew BrownWed, 10 Mar 2021 18:06:40 +0000
  • Saif Eddin GmatiWed, 10 Mar 2021 18:12:14 +0000
  • Rowan TomminsWed, 10 Mar 2021 18:55:14 +0000
    • Matthew BrownWed, 10 Mar 2021 19:21:53 +0000
      • Chase PeelerWed, 10 Mar 2021 19:48:19 +0000
      • Rowan TomminsWed, 10 Mar 2021 20:52:48 +0000
      • Peter StalmanThu, 11 Mar 2021 06:51:46 +0000
        • Sebastian BergmannThu, 11 Mar 2021 06:59:08 +0000
          • Peter StalmanThu, 11 Mar 2021 07:19:01 +0000
        • Brent RooseThu, 11 Mar 2021 08:23:51 +0000
    • Alexandru PătrănescuWed, 10 Mar 2021 20:00:40 +0000
      • Kamil TekielaWed, 10 Mar 2021 21:04:14 +0000
        • Matthew BrownWed, 10 Mar 2021 21:43:30 +0000
  • Aleksander MachniakWed, 10 Mar 2021 19:24:34 +0000
    • Ben RamseyWed, 10 Mar 2021 19:28:49 +0000
      • Aleksander MachniakThu, 11 Mar 2021 07:24:58 +0000
        • Ilija ToviloThu, 11 Mar 2021 08:24:18 +0000
        • Marco PivettaThu, 11 Mar 2021 09:59:49 +0000
  • Sebastian BergmannThu, 11 Mar 2021 08:29:57 +0000
  • Dan AckroydThu, 11 Mar 2021 19:39:26 +0000
    • Rowan TomminsThu, 11 Mar 2021 23:27:16 +0000
    • Rowan TomminsThu, 11 Mar 2021 23:34:07 +0000
  • Aaron PiotrowskiFri, 12 Mar 2021 04:10:47 +0000
  • Nikita PopovMon, 15 Mar 2021 15:42:43 +0000
  • Nikita PopovFri, 19 Mar 2021 13:35:20 +0000
    • Marco PivettaFri, 19 Mar 2021 14:45:12 +0000
      • Nikita PopovFri, 19 Mar 2021 14:52:54 +0000
        • Matthew BrownFri, 19 Mar 2021 15:48:58 +0000
  • Larry GarfieldSat, 20 Mar 2021 15:35:00 +0000
    • Matthew BrownSat, 20 Mar 2021 18:45:59 +0000
      • Matthew BrownMon, 29 Mar 2021 14:25:39 +0000
  • Ilija ToviloMon, 29 Mar 2021 17:25:15 +0000
    • Matthew BrownTue, 30 Mar 2021 05:18:23 +0000
      • Andreas HenningsTue, 30 Mar 2021 15:13:50 +0000
        • Ilija ToviloTue, 30 Mar 2021 17:50:39 +0000
          • Matthew BrownThu, 01 Apr 2021 13:05:19 +0000
            • Andreas HenningsThu, 01 Apr 2021 18:19:41 +0000